Probabilistic reasoning about simply typed lambda terms

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

Резултати

eNauka > Results > Probabilistic reasoning about simply typed lambda terms

Title:	Probabilistic reasoning about simply typed lambda terms
Authors:	Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; Nenad Savic
Issue Date:	2018
Publication:	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 Search Idenfier
Publisher:	Springer Link
Type:	Conference Paper
ISBN:	978-3-319-72055-5 Search Idenfier
Collation:	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
Project:	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
Metadata source:	Migracija
M-category:	Mp. category will be shown later

5
SCOPUS^TM

1
OpenCitations

3
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Пронађи DOI

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

Unpaywall

Google Scholar^TM

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