Rezultati
| Назив: | Neki aspekti primene rezolucijski zasnovanog automatskog dokazivača teorema | Аутори: | Berković, Ivana   ; Radulović, (Ćurić) Biljana |
Година: | 1995 | Публикација: | YU INFO, 1, Brezovica, Srbija, 1995, 04. apr - 07. apr | Издавач: | Zbornik radova | Тип резултата: | Конференцијски рад | Колација: | str. 5-8 | URI: | https://enauka.gov.rs/handle/123456789/976735 | Извор метаподатака: | (Preuzeto iz KNR-a) Berković, Ivana | Напомена о доступности: | Пуни текст је доступан само у штампаној форми | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.