Autori: Bezem Marc
| Naslov | A Vernacular for Coherent Logic (Proceedings Paper) |
| Autori | Stojanovic Sana N Narboux Julien Bezem Marc Janicic Predrag |
| Info | INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, (2014), vol. 8543 br. , str. 388-403 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |
