Резултати

еНаука >  Резултати >  One implementation of PL prover algorithm
Назив : One implementation of PL prover algorithm
Аутори: Stojanovic, Tatjana  
Година: 2001
Публикација: Kragujevac Journal of Mathematics
ISSN: 1450-9628 Kragujevac Journal of Mathematics Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 23 str. 119-130
URI: https://enauka.gov.rs/handle/123456789/970992
Извор метаподатака: (Preuzeto iz ORCID-a) Stojanović, Tatjana
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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