|
|
|
|
| LEADER |
00000cam a2200000Ia 4500 |
| 008 |
010319m19931998nyua b 001 0 eng d |
| 020 |
|
|
|a 019853745X (v. 1)
|
| 020 |
|
|
|a 9780198537458 (v. 1)
|
| 020 |
|
|
|a 0198537468 (v. 2)
|
| 020 |
|
|
|a 0198537476 (v. 3)
|
| 020 |
|
|
|a 0198537913 (v. 4)
|
| 020 |
|
|
|a 0198537921 (v. 5)
|
| 035 |
|
|
|a (Sirsi) i9780198537458
|
| 050 |
0 |
4 |
|a QA76.63
|b H36
|
| 082 |
0 |
0 |
|a 006.3/3
|2 20
|
| 245 |
0 |
0 |
|a Handbook of logic in artificial intelligence and logic programming /
|c edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.
|
| 260 |
|
|
|a Oxford :
|b Clarendon Press ;
|a Oxford ;
|a New York :
|b Oxford University Press,
|c 1993-1998.
|
| 300 |
|
|
|a 5 v. :
|b il. ;
|c 25 cm.
|
| 504 |
|
|
|a Incluye bibliografías e índice.
|
| 505 |
0 |
|
|a v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning -- v. 5. Logic programming.
|
| 650 |
|
4 |
|a Programación lógica.
|9 359632
|
| 650 |
|
4 |
|a Inteligencia artificial.
|
| 650 |
|
4 |
|a Lógica matemática.
|
| 700 |
1 |
|
|a Gabbay, Dov M.,
|d 1945-
|
| 700 |
1 |
|
|a Hogger, Christopher John.
|9 400999
|
| 700 |
1 |
|
|a Robinson, J. A.
|q (John Alan)
|
| 902 |
|
|
|a DGBUV
|
| 596 |
|
|
|a 2 16
|
| 942 |
|
|
|c LIBRO
|6 _
|
| 999 |
|
|
|c 93119
|d 93119
|
