Резултати
Naziv  : | Preface | Autori: | Ghilezan, Silvia   ; Geuvers, Herman; Ivetić, Jelena |
Godina: | 2018 | Publikacija: | International Conference on Types for Proofs and Programs, TYPES 2016; Novi Sad; Serbia; 23 May 2016 | ISSN: | 1868-8969  Pretraži identifikator |
Izdavač: | Schloss Dagstuhl - Leibniz Zentrum fur Informatik | Tip rezultata: | Ostalo | ISBN: | 978-3-959-77065-1 Pretraži identifikator |
Scopus-ID: | 2-s2.0-85057041794 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2578 https://enauka.gov.rs/handle/123456789/576655 |
Napomena o dostupnosti: | Пуни текст није доступан ни у електронској, ни у штампаној форми | 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.