Резултати

eNauka >  Rezultati >  A framework for the flexible integration of a class of decision procedures into theorem provers
Naziv: A framework for the flexible integration of a class of decision procedures into theorem provers
Autori: Janičić, Predrag  ; Bundy, A.; Green, I.
Godina: 1999
Publikacija: International Conference on Automated Deduction CADE 1999: Automated Deduction — CADE-16; 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
Tip rezultata: Naučni članak
ISBN: 978-3-540-66222-8 Pretraži identifikator
Kolacija: vol. 1632 str. 127-141
DOI: 10.1007/3-540-48660-7_9
Scopus-ID: 2-s2.0-84957618791
URI: https://enauka.gov.rs/handle/123456789/870106
URL: http://www.scopus.com/inward/record.url?eid=2-s2.0-84957618791&partnerID=MN8TOARS
Izvor metapodataka: (Preuzeto iz ORCID-a) Janičić, Predrag
M-kategorija: 
21M21 - Vodeći međunarodni časopis kategorije M21

5
SCOPUSTM
2
OpenCitations
Алт метрика
Dimensions
Unpaywall

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