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 | ISI/Web of Science Elečas Rang časopisa Citati: ISI/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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
