Imagen de Amazon.com
Lógica para la computación: Teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Tipo de material:
TextoDetalles de publicación: México, D. F.: Alfaomega Grupo Editor, S.A. de C.V., 2010Descripción: 180 p. : il., fig., tab. ; 23 cmISBN: - 978-607-7854-33-3
- 004 - Procesamiento de datos Ciencia de los computadores
Contenidos:
Teorías de primer orden.-- Resolución.-- Elementos de programación lógica y PROLOG.
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Notas | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|
Libro
|
Facultad Ingeniería Industrial / Ing. Alfredo Hincapie Segura | Libros | 004 LEDl (Navegar estantería(Abre debajo)) | Disponible | mtaibot | BINGI2673 |
Índice.-- Apéndices. Definiciones y demostraciones inductivas.-- Adecuación de las tablas analíticas.-- Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden.-- Referencias.-- Índice alfabético
Teorías de primer orden.-- Resolución.-- Elementos de programación lógica y PROLOG.
2010
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.