Резултати

еНаука >  Резултати >  Ordered linear resolution as the base of the system for automatic theorem proving
Назив: Ordered linear resolution as the base of the system for automatic theorem proving
Аутори: Berković, Ivana  
Година: 1995
Публикација: FILOMAT
ISSN: 0354-5180 Filomat Претражи идентификатор
Издавач: Faculty of Sciences and Mathematics, University of Nis
Тип резултата: Научни чланак
Колација: vol. 9 br. 3 str. 591-597
URI: https://enauka.gov.rs/handle/123456789/968542
Извор метаподатака: (Preuzeto iz KNR-a) Berković, Ivana
Напомена о доступности: Пуни текст је доступан само у штампаној форми
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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