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 |
Browsing Biblioteca Juan Alberto Aragón Bateman shelves, Collection: Colección Abierta Close shelf browser
511.3 / M866 Introducción a la teoría de conjuntos / | 511.3 / M866 Introducción a la teoría de conjuntos / | 511.3 / O517 A first course in mathematical logic and set theory / | 511.3 / P164 Logica computacional / | 511.3 / S877 Introducción a la lógica matemática / | 511.3 / S877 Introducción a la lógica matemática / | 511.3 / S877 Introducción a la lógica matemática / |
There are no comments on this title.