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 | Web of Science Elečas Rang časopisa Citati: Web of Science |
     |
