Results
| Naziv: | Using Automated Reasoning System for Data Model Correctness Analysis | Autori: | Kazi, Ljubica   ; Kazi, Zoltan ; Radulović, Biljana ; Letić, Duško |
Godina: | 2010 | Publikacija: | Proceedings of the 8th IEEE International Symposium on Intelligent Systems and Informatics SISY 2010 | Izdavač: | Serbia, Subotica : IEEE The Institute of Electrical and Electronics Engineers | Tip rezultata: | Konferencijski rad | ISBN: | 978-1-4244-7394-6  Pretraži identifikator |
Kolacija: | 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 |
Izvor metapodataka: | Migrirano iz RIS podataka | Napomena o dostupnosti: | Пуни текст није јавно доступан | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.