|
|
|
|
| LEADER |
00906nam a2200289 i 4500 |
| 001 |
NSK01000920320 |
| 003 |
HR-ZaNSK |
| 005 |
20210302124015.0 |
| 007 |
ta |
| 008 |
151214s2012 vp 001 0 eng |
| 020 |
|
|
|a 9780521879408
|
| 035 |
|
|
|a (HR-ZaNSK)000920320
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 080 |
1 |
|
|a 004.42
|2 2011
|
| 080 |
1 |
|
|a 004.43Prolog
|2 2011
|
| 100 |
1 |
|
|a Miller, Dale A.
|
| 245 |
1 |
0 |
|a Programming with higher-order logic /
|c Dale Miller, Gopalan Nadathur.
|
| 250 |
|
|
|a 1st published.
|
| 260 |
|
|
|a Cambridge [etc.] :
|b Cambridge University Press,
|c 2012.
|
| 300 |
|
|
|a XIII, 306 str. ;
|c 24 cm.
|
| 500 |
|
|
|a Puno ime 1. autora: Dale A. Miller.
|
| 504 |
|
|
|a Bibliografija: str. 289-299.
|
| 504 |
|
|
|a Kazalo.
|
| 650 |
|
7 |
|a Logičko programiranje
|2 nskps
|
| 650 |
|
7 |
|a Prolog (programski jezik)
|2 nskps
|
| 700 |
1 |
|
|a Nadathur, Gopalan
|
| 998 |
|
|
|m vhok1512
|c rjko160202
|c dvoi2103
|
