|
|
|
|
| LEADER |
00000nam a22000002a 4500 |
| 001 |
SBUV046297 |
| 003 |
UV# |
| 005 |
20151006125000.0 |
| 006 |
a 000 0 |
| 008 |
010213s1993 nyua b 000 0 eng d |
| 020 |
|
|
|a 047157175X
|
| 040 |
|
|
|a UV#
|b spa
|c UV#
|
| 082 |
0 |
0 |
|a 005.13/3
|2 20
|
| 100 |
1 |
|
|a Van Le, T.
|
| 245 |
1 |
0 |
|a Techniques of Prolog programming with implementation of logical negation and quantified goals
|c / T. Van Le.
|
| 260 |
|
|
|a New York
|b : Wiley,
|c c1993.
|
| 300 |
|
|
|a xviii, 601 p.
|b : il.
|c ; 24 cm.
|e + 2 disquetes de (3 1/2 plg.)
|
| 504 |
|
|
|a Bibliografía: p. 585-593.
|
| 650 |
|
4 |
|a Prolog (Lenguaje de programación)
|9 365308
|
| 650 |
|
4 |
|a Negación (Lógica)
|
| 902 |
|
|
|a DBUV
|
| 942 |
|
|
|c LIBRO
|6 _
|
| 999 |
|
|
|c 77165
|d 77165
|
