Резултати

eNauka >  Rezultati >  One implementation of PL prover algorithm
Naziv : One implementation of PL prover algorithm
Autori: Stojanovic, Tatjana  
Godina: 2001
Publikacija: Kragujevac Journal of Mathematics
ISSN: 1450-9628 Kragujevac Journal of Mathematics Pretraži identifikator
Tip rezultata: Naučni članak
Kolacija: vol. 23 str. 119-130
URI: https://enauka.gov.rs/handle/123456789/970992
Izvor metapodataka: (Preuzeto iz ORCID-a) Stojanović, Tatjana
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.