Резултати

еНаука >  Резултати >  Analysis of Data Model Correctness by Using Automated Reasoning System
Назив: Analysis of Data Model Correctness by Using Automated Reasoning System
Аутори: Kazi, Zoltan  ; Kazi, Ljubica  ; Radulović, Biljana  
Година: 2012
Публикација: Technics Technologies Education Management / TTEM
ISSN: 1986-809X Technics Technologies Education Management / TTEM Претражи идентификатор
Издавач: DRUNPP
Тип резултата: Научни чланак
Колација: vol. 7 br. 3 str. 1090-1100
WoS-ID: 000310659600015
URI: https://enauka.gov.rs/handle/123456789/486726
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
23M23 - Рад у међ. часопису

3
WEB OF SCIENCETM

Пронађи DOI

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