Su búsqueda retornó 16 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
No hay imagen de cubierta disponible
The Art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren por Series MIT Press series in logic programming
Edición: 2nd ed.
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Cambridge, Mass. ; London : MIT, 1994
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73.P76 S74.1994.

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
Prolog programming for artificial intelligence / Ivan Bratko por Series International computer science series
Edición: 2nd ed.
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: ENG
Detalles de publicación: Wokingham, Eng. : Addison-Wesley, c1990
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General Q 336 B74.1990.

Hacer reserva
Turbo Prolog : step by step : with Turbo Prolog 2.0 / Ralph Cafolla and Daniel Albert Kauffman ; intstructional design by Don Gorman por
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: ENG
Detalles de publicación: Columbus, Ohio : Merrill, c1989
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73.P76 C318.

Hacer reserva
Building expert systems in Prolog / Dennis Merritt por Series Springer compass international
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: ENG
Detalles de publicación: New York : Springer-Verlag, c1989
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.76.E95 M47.

Hacer reserva
Symbolic computing with Lisp and Prolog / Robert A. Mueller and Rex L. Page por
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: SPA
Detalles de publicación: New York : J. Wiley, c1988
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73.L23 M84.

Hacer reserva
Turbo Prolog : user's guide : Version 2.0
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Scotts Valley, Calif. : Borland International, c1988
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73.P76 U8.1988.

Hacer reserva
Turbo Prolog : reference guide : Version 2.0
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Scotts Valley, Calif. : Borland International, c1988
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (2)Colección, signatura topográfica: Acervo General QA 76.73.P76 R4.1988, ...

Hacer reserva
No hay imagen de cubierta disponible
Sistema experto tutor de PROLOG y sus posibilidades como elemento de apoyo a la docencia. por
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: 1988
Nota de disertación: Tesis. Licenciado en sistemas computarizados e informática.
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Acervos Históricos (1)Colección, signatura topográfica: Libros Antiguos y Raros (LAyR) X3.S88.3.

Hacer reserva
Programming in prolog / W. F. Clocksin, C. S. Mellish por
Edición: 3er ed.
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: ENG
Detalles de publicación: Berlin : Springer-Verlag, c1987
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73.P76 C57.1987.

Hacer reserva
Programación en Prolog / W. F. Clocksin, C. S. Mellish ; tr. de Juan Alberto Alonso Martín por Series Ciencia informática
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: SPA Lenguaje original: ENG
Detalles de publicación: Barcelona : G. Gili, 1987
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73.P76 C5718.

Hacer reserva
No hay imagen de cubierta disponible
Prolog and natural-language analysis / Fernando C. N. Pereira and Stuart M. Shieber por Series CSLI lecture notes ; 10
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Menlo Park, Calif. : CSLI, c1987
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General P 98 T47.1987.

Hacer reserva
PROLOG : programación y aplicaciones en inteligencia artificial / A. A. Berk por
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: Español Lenguaje original: Inglés
Detalles de publicación: Madrid : Anaya Multimedia, c1986
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73.P76 B418.

Hacer reserva
Micro-PROLOG : programming in logic / K. L. Clark and F. G. McCabe ; with the contributions by M. H. van Emden...et al. por Series Prentice-Hall international series in computer science
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Englewood Cliffs, N.J. : Prentice/Hall International, c1984
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73 P76.

Hacer reserva
Programming in Prolog / W. F. Clocksin, C. S. Mellish por
Edición: 2nd ed.
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Berlin : Springer, 1984
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73.P76 C57.1984.

Hacer reserva
Páginas