Su búsqueda retornó 8 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
Lógica de programación / Omar Iván Trejos Buriticá. por Series Informática
Edición: Primera edición.
Tipo de material: Texto Texto; Forma literaria: No es ficción
Editor: Bogotá, Colombia : Ediciones de la U, 2017
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (2)Colección, signatura topográfica: Acervo General QA 76.63 T73.2017, ...

Hacer reserva
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
Logic and integer programming / H. P. Williams. por Series International series in operations research & management science
Edición: 1st ed.
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: New York : Springer, 2009
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.6 W55.2009.

Hacer reserva
Logics for emerging applications of databases / Jan Chomicki, Ron van der Meyden, Gunter Saake (eds.). por
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Berlin ; New York : Springer, 2004
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (2)Colección, signatura topográfica: Acervo General QA 76.9.D3 L6425.2004, ...

Hacer reserva
Logic programming and databases / S. Ceri, G. Gottlob, L. Tanca por
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Berlin : Springer-Verlag, c1990
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.63 C47.1990.

Hacer reserva
Logic, programming and Prolog / Ulf Nilsson and Jan Maluszynski por
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Chichester : J. Wiley, c1990
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73 N55.1990.

Hacer reserva
From modal logic to deductive databases : introducing a logic based approach to artificial intelligence / Paul Gochet ... [et al.] ; editor André Thayse por
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Chichester : J. Wiley, c1989
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General Q 335 F76.1989.

Hacer reserva
Foundations of deductive databases and logic programming / ed. Minker, Jack... [et al.] por
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Los Altos, Calif. : Morgan Kaufmann, c1988
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.9.D32 F68.1988.

Hacer reserva
Páginas