Results
| 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 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.