The Concept of Logic Programming Language Based on the Resolution Theorem Prover and its Appliance to Intelligent Tutoring Systems

Berković, Ivana; Hotomski, Petar; Brtka, Vladimir

Резултати

еНаука > Резултати > The Concept of Logic Programming Language Based on the Resolution Theorem Prover and its Appliance to Intelligent Tutoring Systems

Назив:	The Concept of Logic Programming Language Based on the Resolution Theorem Prover and its Appliance to Intelligent Tutoring Systems
Аутори:	Berković, Ivana ; Hotomski, Petar ; Brtka, Vladimir
Година:	2003
Публикација:	IEEE International Conference on Intelligent Engineering Systems - INES, 7, Assiut-Luxor, Egipat, 2003, 04. mar - 06. mar
Тип резултата:	Конференцијски рад
Колација:	str. 169-172
URI:	https://enauka.gov.rs/handle/123456789/893821
Извор метаподатака:	(Preuzeto iz KNR-a) Brtka, Vladimir
Напомена о доступности:	Пуни текст је доступан само у штампаној форми
М-категорија:	Мп категорија ће бити приказана накнадно.

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Google Scholar^TM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.