Rezultati

eNauka >  Rezultati >  Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
Naziv: Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
Autori: Ghilezan, Silvia  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, Nenad
Godina: 2020
Publikacija: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Izdavač: Springer Link
Tip rezultata: Konferencijski rad
ISBN: 978-3-030-39951-1 Pretraži identifikator
Kolacija: vol. 12012 str. 122-139
DOI: 10.1007/978-3-030-39951-1_8
WoS-ID: 000883372400008
Scopus-ID: 2-s2.0-85080881257
URI: https://enauka.gov.rs/handle/123456789/579404
http://researchrepository.mi.sanu.ac.rs/handle/123456789/2573
URL: https://link.springer.com/chapter/10.1007/978-3-030-39951-1_8
Projekat: Representations of logical structures and formal languages and their application in computing
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
Swiss National Science Foundation, Grant 200021 165549
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Alt metrika
Dimensions

Pronađi DOI
Unpaywall

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.