A Vernacular for Coherent Logic

Results

Naziv:	A Vernacular for Coherent Logic
Autori:	Stojanović Đurđević, Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag
Godina:	2014
Publikacija:	Lecture Notes in Computer Science
ISSN:	0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Tip rezultata:	Konferencijski rad
Kolacija:	str. 388-403
DOI:	10.1007/978-3-319-08434-3_28
WoS-ID:	000390823000028
Scopus-ID:	2-s2.0-84904159225
URI:	https://enauka.gov.rs/handle/123456789/387489
Izvor metapodataka:	Migrirano iz RIS podataka
M-kategorija:	Mp kategorija će biti prikazana naknadno.

11
SCOPUS^TM

6
OpenCitations

9
WEB OF SCIENCE^TM

Altmetric

Dimensions

Unpaywall

Google Scholar^TM