Lógica computacional / Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio.
Tipo de material:
TextoDetalles de publicación: Madrid : Thomson , c2003. Descripción: 205 p. : graf. ; 24 cmISBN: 8497321820Tema(s): Lógica simbólica y matemática | Demostración automática de teoremas | Inteligencia artificialResumen: Índice: 1. La sintaxis de la lógica; 2. La semántica de la Lógica; 3. El método axiomático; 4. El método interpretativo; 5. LA demostración automática de teoremas; 6. Los agentes inteligentes y la Lógica. Bibliografía. Indice.
| Tipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|
| Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 510.6/PAN/log (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3742347181 | ||
| Manuales | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 510.6/PAN/log (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3742347065 | ||
| Manuales | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 510.6/PAN/log (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3742347127 | ||
| Manuales | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 510.6/PAN/log (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3742508848 |
Total de reservas: 0
MSC 03B25, 68T05, 68Txx.
Contiene referencias bibliográficas e índice.
Índice: 1. La sintaxis de la lógica; 2. La semántica de la Lógica; 3. El método axiomático; 4. El método interpretativo; 5. LA demostración automática de teoremas; 6. Los agentes inteligentes y la Lógica. Bibliografía. Indice.
No hay comentarios en este titulo.