Autori: Bundy Alan
| Naslov | Automatic synthesis of decision procedures: A case study of ground and linear arithmetic (Proceedings Paper) |
| Autori | Janicic Predrag  Bundy Alan
|
| Info | Towards Mechanized Mathematical Assistants, (2007), vol. 4573 br. , str. 80-93 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
     |
| Naslov | A general setting for flexibly combining and augmenting decision procedures (Article) |
| Autori | Janicic Predrag Bundy Alan
|
| Info | JOURNAL OF AUTOMATED REASONING, (2002), vol. 28 br. 3, str. 257-305 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
