Results
| Title: | Probabilistic reasoning in types systems | Authors: | Gilezan, Silvia   ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad |
Issue Date: | 2016 | Publication: | Logic and Applications, Book of Abstracts, LAP 2016 ( September 19 - 23 ; 2016) Dubrovnik, Croatia | Publisher: | Dubrovnik : Inter-University Centre | Type: | Conference Paper | Collation: | str. 24-25 | URI: | https://enauka.gov.rs/handle/123456789/327385 | URL: | https://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2016_book_of_abstracts.pdf | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.