Results
Title : | On two approaches to modal theorem proving | Authors: | Ognjanović, Zoran |
Issue Date: | 2000 | ISSN: | 0352-0900![]() Search Idenfier |
Publisher: | Faculty of Science, Novi Sad | Type: | Article | Collation: | vol. 30 br. 2 str. 83-93 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3008 https://enauka.gov.rs/handle/123456789/579527 |
URL: | http://elib.mi.sanu.ac.rs/files/journals/nsjom/49/nsjomn49p83-93.pdf https://www.dmi.uns.ac.rs/nsjom/Papers/30_2/NSJOM_30_2_083_093.pdf |
M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.
