Lógica para la computación teorias de primer orden, resolución y elementos de programación lógica y PROLOG

Por: Detalles de publicación: México, D.F. Alfaomega 2010Edición: 1a. edDescripción: 177 SíISBN:
  • 12837
Clasificación CDD:
  • 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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
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.

para colocar un comentario.