Lógica computacional / Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio
By: Paniagua Aris, Enrique.
Contributor(s): Sánchez González, Juan Luis, Martín Rubio, Fernando.
Material type:
BookPublisher: Madrid : Thomson 2003Description: 205 p. : il. ; 24 cm.ISBN: 8497321820.Subject(s): Demostración automática de teoremas | Inteligencia artificial | Lógica matemática no clásicaDDC classification: 511.3
| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Libro General
|
Biblioteca Cedesarrollo | Colección General | 511.3 P192 (Browse shelf) | Ej. 1 | Available (Consulta externa) | 31152 | |
|
Libro General
|
Biblioteca Cedesarrollo | Colección General | 511.3 P192 (Browse shelf) | Ej. 2 | Available (Consulta externa) | 31153 |
Incluye índice
Bibliografía: p. 199-200
There are no comments for this item.