Rezultati

eNauka >  Rezultati >  Analysis of Data Model Correctness by Using Automated Reasoning System
Naziv: Analysis of Data Model Correctness by Using Automated Reasoning System
Autori: Kazi, Zoltan  ; Kazi, Ljubica  ; Radulović, Biljana  
Godina: 2012
Publikacija: Technics Technologies Education Management / TTEM
ISSN: 1986-809X Technics Technologies Education Management / TTEM Pretraži identifikator
Izdavač: DRUNPP
Tip rezultata: Naučni članak
Kolacija: vol. 7 br. 3 str. 1090-1100
WoS-ID: 000310659600015
URI: https://enauka.gov.rs/handle/123456789/486726
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
22M22 - Međunarodni časopis kategorije M22

3
WEB OF SCIENCETM

Pronađi DOI


Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.