Rezultati
| Naziv: | 270 Minutes on Categorial Proof Theory | Autori: | Petrić, Zoran   |
Godina: | 2015 | Publikacija: | Zbornik radova - | ISSN: | 0351-9406  Pretraži identifikator |
Izdavač: | Matematički institut SANU | Tip rezultata: | Poglavlje u monografiji | ISBN: | 978-86-80593-57-9 Pretraži identifikator |
Kolacija: | br. 18 (26) str. 7-35 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3732 https://enauka.gov.rs/handle/123456789/345420 |
URL: | http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p7-35.pdf http://elib.mi.sanu.ac.rs/pages/browse_issue.php?db=zr&rbr=26 |
Projekat: | Representations of logical structures and formal languages and their application in computing | Izvor metapodataka: | Migracija | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.