Results

eNauka >  Results >  Analysis of data model correctness by using automated reasoning systemZ
Title: Analysis of data model correctness by using automated reasoning systemZ
Authors: Kazi, Zoltan  ; Kazi, Ljubica  ; Radulović, Biljana  
Issue Date: 2012
Publication: Technics Technologies Education Management / TTEM
ISSN: 1986-809X Technics Technologies Education Management / TTEM Search Idenfier
Publisher: Sarajevo: DRUNPP
Type: Article
Collation: vol. 7 br. 3 str. 1090-1100
URI: https://enauka.gov.rs/handle/123456789/333355
URL: https://ttem.ba/2012/09/01/volume-7-number-3/
Metadata source: Migrirano iz RIS podataka
M-category: 
22M22

Find the DOI


Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.