Резултати
Назив  : | Preface | Аутори: | Ghilezan, Silvia   ; Geuvers, Herman; Ivetić, Jelena |
Година: | 2018 | Публикација: | International Conference on Types for Proofs and Programs, TYPES 2016; Novi Sad; Serbia; 23 May 2016 | ISSN: | 1868-8969  Претражи идентификатор |
Издавач: | Schloss Dagstuhl - Leibniz Zentrum fur Informatik | Тип резултата: | Остало | ISBN: | 978-3-959-77065-1 Претражи идентификатор |
Scopus-ID: | 2-s2.0-85057041794 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2578 https://enauka.gov.rs/handle/123456789/576655 |
Напомена о доступности: | Пуни текст није доступан ни у електронској, ни у штампаној форми | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.