Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog / Luis de Ledesma.

Por: Tipo de material: TextoSeries Editor: México, D.F. : Alfaomega : Ra-Ma, 2010Edición: Primera ediciónDescripción: 177 páginas : ilustraciones ; 23 centímetrosTipo de contenido:
  • text
Tipo de medio:
  • unmediated
Tipo de soporte:
  • volume
ISBN:
  • 6077854336
  • 8478979387
  • 9786077854333
  • 9788478979387
Tema(s): Clasificación CDD:
  • 004.42 L36 2010
Contenidos:
Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndice A: Definiciones y demostraciones inductivas -- Apéndice B: Adecuación de las tablas analíticas -- Apéndice C: Consideraciones elementales sobre la representación el 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 media: 0.0 (0 votos)
Imagen de cubierta Tipo de ítem Biblioteca actual Biblioteca de origen Colección Ubicación en estantería Signatura topográfica Materiales especificados Info Vol URL Copia número Estado Notas Fecha de vencimiento Código de barras Reserva de ítems Prioridad de la cola de reserva de ejemplar Reservas para cursos
Libro Biblioteca Juliaca Sala principal Colección General 004.42 L36 2010 (Navegar estantería) 1 Disponible FJ02991

Bibliografía : página 171-174.

Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndice A: Definiciones y demostraciones inductivas -- Apéndice B: Adecuación de las tablas analíticas -- Apéndice C: Consideraciones elementales sobre la representación el conocimiento con lenguajes de primer orden.

3

No hay comentarios en este titulo.

para colocar un comentario.