1. Research with MATF

Informatics and Computer Science

View Statistics Email Alert RSS Feed

Card

Organization name
Informatics and Computer Science
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Results 601-609 of 609 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)Rank
6011-Jan-1999A framework for the flexible integration of a class of decision procedures into theorem proversJaničić, Predrag ; Bundy, Alan; Green, IanM33
602-Using Natural Language Processing for Data Mining Algorithms in Wireless Sensor Networks: Planning a Weather Forecast Application.Vujičić Stanković, Staša M33
603-Recognition of odonyms in Serbian languageVujičić Stanković, Staša ; Vitas, Duško; Utvić, Miloš
604-Automated generation and checking of verification conditionsVujošević Janičić, Milena M70
605-Computer-Assisted Theorem Proving in Synthetic GeometryNarboux, Julien; Janičić, Predrag ; Fleuriot, JacquesM14
606-Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставникеŠćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip 
607-Priznati programski sistem (uz dokaz)Vukša Popović, Nikolina ; Vučković, Bojan; Vučković, Vesna; Malkov, Saša ; Maljković Ružičić, Mirjana ; Mijajlović, Žarko; Mitić, Nenad ; Pejović, Nadežda; Stojanović, Biljana; Maksimović, Slavko; Stojanović, Slobodan; Milisavljević, Slaviša; Višić, DuškoM80
608-An Algorithm for Sentence Recovery from PDF FilesPajić, Vesna; Vujičić Stanković, Staša ; Pajić, MilošM53
609-Optimizacija neuronskih mreža Bulovim funkcijamaStojanović, V.; Marić, Miroslav M63