Results

еНаука >  Резултати >  One implementation of PL prover algorithm
Назив : One implementation of PL prover algorithm
Аутори: Stojanovic, Tatjana  
Година: 2001
Публикација: X Kongres matematičara Jugoslavije
Тип резултата: Конференцијски рад
URI: https://enauka.gov.rs/handle/123456789/975514
Извор метаподатака: (Preuzeto iz ORCID-a) Stojanović, Tatjana
М-категорија: 
Мп категорија ће бити приказана накнадно.

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.