Резултати

eNauka >  Results >  One implementation of PL prover algorithm
Title : One implementation of PL prover algorithm
Authors: Stojanovic, Tatjana  
Issue Date: 2001
Publication: Kragujevac Journal of Mathematics
ISSN: 1450-9628 Kragujevac Journal of Mathematics Search Idenfier
Type: Article
Collation: vol. 23 str. 119-130
URI: https://enauka.gov.rs/handle/123456789/970992
Metadata source: (Preuzeto iz ORCID-a) Stojanović, Tatjana
M-category: 
Mp. category will be shown later

Пронађи DOI

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