Results

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

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.