|
|
|
|
| LEADER |
01066nam a2200313 i 4500 |
| 001 |
NSK01000534383 |
| 003 |
HR-ZaNSK |
| 005 |
20041027123800.1 |
| 008 |
040929s2004 ci a m 000 0 hrv |
| 035 |
|
|
|9 (HR-ZaNSK)535281
|
| 035 |
|
|
|9 (HR-ZaNSK)440929014
|
| 035 |
|
|
|a (HR-ZaNSK)000534383
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 041 |
0 |
|
|a hrv
|b eng
|
| 044 |
|
|
|a ci
|c hr
|
| 080 |
|
|
|a 510.6(043.2)
|
| 100 |
1 |
|
|a Ban Kirigin, Tajana
|
| 245 |
1 |
0 |
|a Logika višeg reda i sustav Isabelle :
|b magistarski rad /
|c Tajana Ban Kirigin.
|
| 260 |
|
|
|a Zagreb :
|b T. Ban Kirigin,
|c 2004.
|e ([s. l. :
|f s. n.])
|
| 300 |
|
|
|a 81 str. ;
|c 30 cm.
|
| 500 |
|
|
|a Na vrhu nasl. str.: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, Matematički odjel
|
| 502 |
|
|
|a Prir.-mat. fak., Zagreb, 2004
|
| 504 |
|
|
|a Bibliografija: str. 80-81
|
| 504 |
|
|
|a Summary: Higher-order logic and system Isabelle
|
| 981 |
|
|
|p CRO
|r HRB2004
|
| 998 |
|
|
|n DCR
|m vhop0410
|c avao041025
|
| 852 |
4 |
|
|j DCR-ZG-544/04
|
| 876 |
|
|
|e DCR
|a 544/2004
|
| 886 |
0 |
|
|2 unimarc
|b 00863iam0 2200253 450
|