Резултати

еНаука >  Резултати >  Using Automated Reasoning System for Data Model Corectness Analysis
Назив: Using Automated Reasoning System for Data Model Corectness Analysis
Аутори: Kazi, (Eremić) Ljubica  ; Kazi, Zoltan  ; Radulović, (Ćurić) Biljana  ; Letić, Duško  
Година: 2010
Публикација: IEEE International Symposium on Intelligent Systems and Informatics (SISY), 8, Subotica, Srbija, 2010
Издавач: Subotica, Srbija: Visoka tehnička škola
Тип резултата: Конференцијски рад
URI: https://enauka.gov.rs/handle/123456789/901237
URL: https://ieeexplore.ieee.org/document/5647141
Извор метаподатака: (Preuzeto iz KNR-a) Kazi, Ljubica
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI


Google ScholarTM

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