Probabilistic reasoning about simply typed lambda terms

Gilezan, Silvia K.; IVETIĆ, JELENA B.; KAŠTEROVIĆ, SIMONA Đ.; Ognjanović, Zoran D.; Nenad Savic

Резултати

еНаука > Резултати > Probabilistic reasoning about simply typed lambda terms

Назив:	Probabilistic reasoning about simply typed lambda terms
Аутори:	Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; Nenad Savic
Година:	2018
Публикација:	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN:	0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Издавач:	Springer Link
Тип резултата:	Конференцијски рад
ISBN:	978-3-319-72055-5 Претражи идентификатор
Колација:	br. 10703 str. 170-189
DOI:	10.1007/978-3-319-72056-2_11
WoS-ID:	000541559100011
Scopus-ID:	2-s2.0-85039416804
URI:	http://researchrepository.mi.sanu.ac.rs/handle/123456789/13 https://enauka.gov.rs/handle/123456789/242306
Пројекат:	Schweizerischer Nationalfonds zur förderung der Wissenschaftlichen Forschung Advanced Techniques of Cryptology, Image Processing and Computational Topology for Information Security 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
Извор метаподатака:	Migracija
М-категорија:	Мп категорија ће бити приказана накнадно.

5
SCOPUS^TM

1
OpenCitations

3
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Unpaywall

Google Scholar^TM

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