|
|
|
|
| LEADER |
01044nam a2200301ui 4500 |
| 003 |
HR-ZaFF |
| 008 |
010101s1993 ||| |||||||||| ||eng|d |
| 999 |
|
|
|c 1666
|d 1666
|
| 020 |
|
|
|a 0262660830
|
| 035 |
|
|
|a HR-ZaFF iznL1647
|
| 035 |
|
|
|a HR-ZaFF iznL3223
|
| 040 |
|
|
|a HR-ZaFF
|b hrv
|c HR-ZaFF
|e ppiak
|
| 080 |
|
|
|a 004.42
|
| 111 |
2 |
|
|a International Workshop
|n (2 ;
|d 1993 ;
|c Lisbon)
|
| 245 |
1 |
0 |
|a Logic programming and non-monotonic reasoning :
|b proceedings of the second international workshop /
|c edited by Luís Moniz Pereira and Anil Nerode.
|
| 260 |
|
|
|a Cambridge, Mass. ;
|a London :
|b The MIT Press [i.e.] Massachussetts Institute of Technology,
|c 1993.
|
| 300 |
|
|
|a xiv, 494 str. ;
|c 23 cm
|
| 504 |
|
|
|a Bibliografija na kraju svakog poglavlja
|
| 504 |
|
|
|a Bilješke uz tekst
|
| 504 |
|
|
|a Kazalo
|
| 653 |
|
|
|a Logičko programiranje
|
| 700 |
0 |
|
|a Pereira, Luís Moniz
|
| 700 |
0 |
|
|a Nerode, Anil
|
| 710 |
2 |
|
|a International Workshop
|
| 942 |
|
|
|b LIB
|c KNJ
|h BG
|6 BG
|
| 991 |
|
|
|a izn551/2001
|
| 991 |
|
|
|a izn183/2004
|
| 992 |
|
|
|a IZ
|b LAJ
|c 2001
|
