Handbook of logic in artificial intelligence and logic programming /
Guardado en:
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Oxford : Oxford ; New York :
Clarendon Press ; Oxford University Press,
1993-1998.
|
| Materias: | |
| Acceso en línea: | Publisher description Table of contents |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01828cam a2200421 a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic000300 | ||
| 008 | 920714m19931998nyua##########001#0#eng## | ||
| 005 | 20151123145815.0 | ||
| 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 referencias bibliográficas e índices. | ||
| 505 | 1 | |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. | |
| 020 | |a 019853745X (v. 1) | ||
| 020 | |a 0198537468 (v. 2) | ||
| 020 | |a 0198537476 (v. 3) | ||
| 020 | |a 0198537913 (v. 4) | ||
| 020 | |a 0198537921 (v. 5) | ||
| 700 | 1 | |a Gabbay, Dov M., |d 1945- | |
| 700 | 1 | |a Hogger, Christopher John. | |
| 700 | 1 | |a Robinson, J.A. |q (John Alan) | |
| 082 | 0 | 0 | |a 006.3/3 |2 20 |
| 650 | 0 | |a Logic programming. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 010 | |a 92023358 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.63 |b .H36 1993 |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0606/92023358-d.html |
| 856 | 4 | 1 | |3 Table of contents |u http://www.loc.gov/catdir/enhancements/fy0606/92023358-t.html |
| 859 | |a DCIC |b BIB. COMPUTACION |p 0383 |v 1 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0384 |v 2 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0385 |v 3 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0386 |t 1 |v 4 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0388 |t 1 |v 5 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0389 |t 2 |v 5 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0387 |t 2 |v 4 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0390 |t 3 |v 5 | ||