Implementacija sistema ADT za automatsko dokazivanje teorema sa varijabilnim strategijama

Hotomski, Petar; Berković, Ivana

Резултати

eNauka > Results > Implementacija sistema ADT za automatsko dokazivanje teorema sa varijabilnim strategijama

Title:	Implementacija sistema ADT za automatsko dokazivanje teorema sa varijabilnim strategijama
Authors:	Hotomski, Petar ; Berković, Ivana
Issue Date:	1994
Publication:	Međunarodna konferencija Informatika u obrazovanju i nove informacione tehnologije, 4, Zrenjanin, Srbija, 1994
Publisher:	IV konferencija "Informatika u obrazovanju i nove informacione tehnologije", Zbornik radova Технички факултет "Михајло Пупин" Зрењанин
Type:	Conference Paper
Collation:	vol. 2 br. 1 str. 101-109
URI:	https://enauka.gov.rs/handle/123456789/964250
Metadata source:	(Preuzeto iz KNR-a) Berković, Ivana
Availability note:	Пуни текст је доступан само у штампаној форми
M-category:	Mp. category will be shown later

Пронађи DOI

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

Google Scholar^TM

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