Soundness and completeness of Saxena and Tripathi's formal system
| Permalink: | http://skupni.nsk.hr/Record/nsk.NSK01000099772/Details |
|---|---|
| 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: |
| LEADER | 00854caa a2200253 ir4500 | ||
|---|---|---|---|
| 001 | NSK01000099772 | ||
| 003 | HR-ZaNSK | ||
| 008 | 940922s1993 ci ||| ||eng | ||
| 015 | |a HP93-6744 |2 HR | ||
| 035 | |9 (HR-ZaNSK)99880 | ||
| 035 | |9 (HR-ZaNSK)940922223 | ||
| 035 | |a (HR-ZaNSK)000099772 | ||
| 040 | |a HR-ZaNSK |b hrv |c HR-ZaNSK |e ppiak | ||
| 041 | 0 | |a eng |b hrv | |
| 080 | |a 519.681 | ||
| 100 | 1 | |a Maleković, Mirko | |
| 245 | 1 | 0 | |a Soundness and completeness of Saxena and Tripathi's formal system / |c Mirko Maleković. |
| 504 | |a Bibliografija: 7 jed. | ||
| 504 | |a Sažetak | ||
| 653 | 0 | |a Relacijske baze podataka |a Baze podataka | |
| 773 | 0 | |t Zbornik radova (Fakultet organizacije i informatike Varaždin) |x 0351-1804 |g 17 (1993) ; str. 37-44 |w nsk.(HR-ZaNSK)000006545 | |
| 932 | |a da |b znanstveni rad | ||
| 981 | |p CRO | ||
| 886 | 0 | |2 unimarc |b 00572naa2 2200181 450 | |