CDCL-Based Abstract State Transition System for Coherent Logic

Results

Naziv:	CDCL-Based Abstract State Transition System for Coherent Logic
Autori:	Nikolić, Mladen ; Janičić, Predrag
Godina:	2012
Publikacija:	Intelligent Computer Mathematics; International Conference on Intelligent Computer Mathematics, CICM 2012; Lecture Notes in Computer Science (LNAI, vol. 7362)
ISSN:	0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Izdavač:	Springer
Tip rezultata:	Konferencijski rad
ISBN:	978-3-642-31373-8 Pretraži identifikator
Kolacija:	str. 264-279
DOI:	10.1007/978-3-642-31374-5_18
Scopus-ID:	2-s2.0-84864920045
URI:	https://enauka.gov.rs/handle/123456789/558273
Izvor metapodataka:	Migrirano iz RIS podataka
M-kategorija:	Mp kategorija će biti prikazana naknadno.

3
SCOPUS^TM

Altmetric

Dimensions

Unpaywall

Google Scholar^TM