Results
Title  : | One implementation of PL prover algorithm | Authors: | Stojanovic, Tatjana   |
Issue Date: | 2001 | Publication: | X Kongres matematičara Jugoslavije | Type: | Conference Paper | URI: | https://enauka.gov.rs/handle/123456789/975514 | Metadata source: | (Preuzeto iz ORCID-a) Stojanović, Tatjana | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.