Lógica para la computación teorias de primer orden, resolución y elementos de programación lógica y PROLOG
Detalles de publicación: México, D.F. Alfaomega 2010Edición: 1a. edDescripción: 177 SíISBN:- 12837
- 005.131/D35
Contenidos:
Capítulo I, teorías de primer orden. Resolución. Elementos de programación lógica y prolog. Definiciones y demostraciones inductivas. Adecuación de las tablas analíticas. Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden.
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Notas | Código de barras | |
|---|---|---|---|---|---|---|
| Libro | Unidad de Biblioteca Central, Banco de Libros y Librería Primer Piso-Sala 2 | 005.131/D35 (Navegar estantería(Abre debajo)) | Disponible | Externo | 45229 | |
| Libro | Unidad de Biblioteca Central, Banco de Libros y Librería Primer Piso-Sala 2 | 005.131/D35 (Navegar estantería(Abre debajo)) | Disponible | Externo | 45228 | |
| Libro | Unidad de Biblioteca Central, Banco de Libros y Librería Primer Piso-Sala 2 | 005.131/D35 (Navegar estantería(Abre debajo)) | Disponible | Externo | 45226 | |
| Libro | Unidad de Biblioteca Central, Banco de Libros y Librería Primer Piso-Sala 2 | 005.131/D35 (Navegar estantería(Abre debajo)) | Disponible | Externo | 45227 | |
| Libro | Unidad de Biblioteca Central, Banco de Libros y Librería Primer Piso-Sala 2 | 005.131/D35 (Navegar estantería(Abre debajo)) | Disponible | Externo | 45225 | |
| Libro | Unidad de Biblioteca Central, Banco de Libros y Librería Primer Piso-Sala 2 | 005.131/D35 (Navegar estantería(Abre debajo)) | No ubicado | Interno |
Capítulo I, teorías de primer orden. Resolución. Elementos de programación lógica y prolog. Definiciones y demostraciones inductivas. Adecuación de las tablas analíticas. Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden.
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.