Rezultati

eNauka >  Rezultati >  Ordered linear resolution as the base of the system for automatic theorem proving
Naziv: Ordered linear resolution as the base of the system for automatic theorem proving
Autori: Berković, Ivana  
Godina: 1995
Publikacija: FILOMAT
ISSN: 0354-5180 Filomat Pretraži identifikator
Izdavač: Faculty of Sciences and Mathematics, University of Nis
Tip rezultata: Naučni članak
Kolacija: vol. 9 br. 3 str. 591-597
URI: https://enauka.gov.rs/handle/123456789/968542
Izvor metapodataka: (Preuzeto iz KNR-a) Berković, Ivana
Napomena o dostupnosti: Пуни текст је доступан само у штампаној форми
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.