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.3Item 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 |
Browsing Biblioteca Cedesarrollo Shelves , Collection code: Colección General Close shelf browser
511.3/L832 Lógica Matematica para Informaticos : | 511.3/L832 Lógica Matematica para Informaticos : | 511.3 P192 Lógica computacional / | 511.3 P192 Lógica computacional / | 511.3 S959 Primer curso de lógica matemática / | 511.7 B949 Análisis numérico / | 511.8 S614 Simulación : |
Incluye índice
Bibliografía: p. 199-200
There are no comments for this item.