Резултати

еНаука >  Резултати >  Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
Назив: Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
Аутори: Ghilezan, Silvia  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, Nenad
Година: 2020
Публикација: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Издавач: Springer Link
Тип резултата: Конференцијски рад
ISBN: 978-3-030-39951-1 Претражи идентификатор
Колација: 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
Пројекат: 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
М-категорија: 
Мп категорија ће бити приказана накнадно.

Алт метрика
Dimensions

Пронађи DOI
Unpaywall

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.