Logica computacional / Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio
Material type: TextLanguage: Spanish Publisher: Madrid : Thomson, 2003Description: 205 pISBN: 8497321820Subject(s): Lógica matemática no clásica | Demostración automática de teoremas | Inteligencia artificialDDC classification: 511.3Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Libro | Biblioteca Juan Alberto Aragón Bateman | Colección Abierta | 511.3 / P164 (Browse shelf) | Available | 008452 |
There are no comments on this title.