Probabilistic reasoning about simply typed lambda terms

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

Rezultati

eNauka > Rezultati > Probabilistic reasoning about simply typed lambda terms

Naziv:	Probabilistic reasoning about simply typed lambda terms
Autori:	Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; Nenad Savic
Godina:	2018
Publikacija:	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 Pretraži identifikator
Izdavač:	Springer Link
Tip rezultata:	Konferencijski rad
ISBN:	978-3-319-72055-5 Pretraži identifikator
Kolacija:	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
Projekat:	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
Izvor metapodataka:	Migracija
M-kategorija:	Mp kategorija će biti prikazana naknadno.

5
SCOPUS^TM

1
OpenCitations

3
WEB OF SCIENCE^TM

Alt metrika

Dimensions

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Unpaywall

Google Scholar^TM

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