Results
| Title: | Neki aspekti primene rezolucijski zasnovanog automatskog dokazivača teorema | Authors: | Berković, Ivana   ; Radulović, (Ćurić) Biljana |
Issue Date: | 1995 | Publication: | YU INFO, 1, Brezovica, Srbija, 1995, 04. apr - 07. apr | Publisher: | Zbornik radova | Type: | Conference Paper | Collation: | str. 5-8 | URI: | https://enauka.gov.rs/handle/123456789/976735 | Metadata source: | (Preuzeto iz KNR-a) Berković, Ivana | Availability note: | Пуни текст је доступан само у штампаној форми | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.