Results
| Naziv: | Formal Correctness Proof for DPLL Procedure | Autori: | Marić, Filip   ; Janičić, Predrag |
Godina: | 2010 | Publikacija: | Informatica | ISSN: | 0868-4952 Informatica Pretraži identifikator |
Izdavač: | Vilnius : Vilnius University Press | Tip rezultata: | Naučni članak | Kolacija: | vol. 21 br. 1 str. 57-78 | DOI: | 10.15388/informatica.2010.273 | WoS-ID: | 000276558800005 | URI: | https://enauka.gov.rs/handle/123456789/483945 | Izvor metapodataka: | Migrirano iz RIS podataka | M-kategorija: | 21aM21a - Vodeći međunarodni časopis kategorije M21a |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.