Резултати
Назив: | 270 Minutes on Categorial Proof Theory | Аутори: | Petrić, Zoran | Година: | 2015 | Публикација: | Zbornik radova - | ISSN: | 0351-9406 Претражи идентификатор | Издавач: | Matematički institut SANU | Тип резултата: | Поглавље у монографији | ISBN: | 978-86-80593-57-9 Претражи идентификатор | Колација: | 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 |
Пројекат: | Representations of logical structures and formal languages and their application in computing | Извор метаподатака: | Migracija | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.