|
|
|
|
| LEADER |
00658cam a2200205ua 4500 |
| 008 |
131108t2012||||||||||| 00 ||eng c |
| 020 |
|
|
|a 9780521879408
|
| 041 |
0 |
|
|a eng
|
| 082 |
|
|
|a 005.115
|b MIL/P
|
| 100 |
|
|
|a Miller,, Dale
|
| 245 |
1 |
0 |
|a Programming with Higher-Order Logic /
|
| 260 |
|
|
|a New York:
|b Cambridge University Press,
|c 2012.
|
| 300 |
|
|
|a 306.
|
| 362 |
1 |
|
|a 2012.
|
| 650 |
|
|
|a Computer science- Computer programming
|
| 650 |
0 |
|
|a Logical programming
|
| 700 |
0 |
2 |
|a Nadathur,, Gopalan
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 29565
|d 29565
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 005_115000000000000_MIL
|7 0
|9 31372
|a KUCL
|b KUCL
|d 2014-05-23
|l 0
|o 005.115 MIL/
|p 31068
|r 2014-05-23
|w 2014-05-23
|y BK
|