Soundness and completeness of Saxena and Tripathi's formal system
| Permalink: | http://skupni.nsk.hr/Record/nsk.NSK01000099772 |
|---|---|
| Matična publikacija: |
Zbornik radova (Fakultet organizacije i informatike Varaždin) 17 (1993) ; str. 37-44 |
| Glavni autor: | Maleković, Mirko (-) |
| Vrsta građe: | Članak |
| Jezik: | eng |
| Predmet: |
Održavanje sustava u tijeku
Sustav je trenutačno nedostupan zbog održavanja.
Zapisi o posjedovanju i primjercima trenutačno nisu dostupni. Za više informacija kontaktirajte osoblje knjižnice ili pošaljite upit administratoru: