Results
eNauka >
Results >
Ordered linear resolution as the base of the system for automatic theorem proving
| Title: | Ordered linear resolution as the base of the system for automatic theorem proving | Authors: | Berković, Ivana   |
Issue Date: | 1995 | Publication: | FILOMAT | ISSN: | 0354-5180 Filomat Search Idenfier |
Publisher: | Faculty of Sciences and Mathematics, University of Nis | Type: | Article | Collation: | vol. 9 br. 3 str. 591-597 | URI: | https://enauka.gov.rs/handle/123456789/968542 | Metadata source: | (Preuzeto iz KNR-a) Berković, Ivana | Availability note: | Пуни текст је доступан само у штампаној форми | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.