Резултати
| Назив: | Formal Correctness Proof for DPLL Procedure | Аутори: | Marić, Filip   ; Janičić, Predrag |
Година: | 2010 | Публикација: | Informatica | ISSN: | 0868-4952 Informatica Претражи идентификатор |
Издавач: | Vilnius : Vilnius University Press | Тип резултата: | Научни чланак | Колација: | vol. 21 br. 1 str. 57-78 | DOI: | 10.15388/informatica.2010.273 | WoS-ID: | 000276558800005 | URI: | https://enauka.gov.rs/handle/123456789/483945 | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | 21aM21a - Водећи међународни часопис категорије M21a |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.