Rezultati
| Title: | Using Automated Reasoning System for Data Model Correctness Analysis | Authors: | Kazi, Ljubica   ; Kazi, Zoltan ; Radulović, Biljana ; Letić, Duško |
Issue Date: | 2010 | Publication: | Proceedings of the 8th IEEE International Symposium on Intelligent Systems and Informatics SISY 2010 | Publisher: | Serbia, Subotica : IEEE The Institute of Electrical and Electronics Engineers | Type: | Conference Paper | ISBN: | 978-1-4244-7394-6  Search Idenfier |
Collation: | vol. 8 br. 1 str. 563-568 | DOI: | 10.1109/SISY.2010.5647141 | Scopus-ID: | 2-s2.0-78650563465 | URI: | https://enauka.gov.rs/handle/123456789/301422 | URL: | http://conf.uni-obuda.hu/sisy2010/ https://ieeexplore.ieee.org/document/5647141 |
Metadata source: | Migrirano iz RIS podataka | Availability note: | Пуни текст није јавно доступан | M-category: | Mp. category will be shown later |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.