Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
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 Series Computación. Programación
Edición: 1a ed.
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: México, D.F. : Alfaomega : Ra-Ma, 2010
Otro título:
  • Teorías de primer orden, resolución y elementos de programación lógica y prolog
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.63 L43.2010.

Hacer reserva
Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica / José L. Falguera López, Concepción Martínez Vidal. por Series Colección estructuras y procesos. Serie filosofía
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Madrid : Trotta, 1999
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (4)Colección, signatura topográfica: Acervo General BC 128 F35.1999, ...

Hacer reserva
Páginas