Резултати

еНаука >  Резултати >  Learning strategies for mechanised building of decision procedures
Назив: Learning strategies for mechanised building of decision procedures
Аутори: Jamnik, M.; Janičić, Predrag  
Година: 2003
Публикација: Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661 Претражи идентификатор
Издавач: Elsevier
Тип резултата: Научни чланак
Колација: vol. 86 br. 1 str. 174-189
DOI: 10.1016/S1571-0661(04)80662-5
Scopus-ID: 2-s2.0-18944387924
URI: https://enauka.gov.rs/handle/123456789/870104
URL: http://www.scopus.com/inward/record.url?eid=2-s2.0-18944387924&partnerID=MN8TOARS
Извор метаподатака: (Preuzeto iz ORCID-a) Janičić, Predrag
М-категорија: 
Мп категорија ће бити приказана накнадно.

Алт метрика
Dimensions
Unpaywall

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