Резултати
| Назив: | Projekat nastavno orijentisanog sistema za automatsko dokazivanje teorema | Аутори: | Berković, Ivana   |
Година: | 1992 | Издавач: | Zrenjanin, Srbija: Tehnički fakultet "Mihajlo Pupin" Zrenjanin | Тип резултата: | Поглавље у монографији | ISBN: | 86-80711-10-1  Претражи идентификатор |
Колација: | vol. 3 str. 48-56 | URI: | https://enauka.gov.rs/handle/123456789/974537 | Извор метаподатака: | (Preuzeto iz KNR-a) Berković, Ivana | Напомена о доступности: | Пуни текст је доступан само у штампаној форми | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.