Su búsqueda retornó 12 resultados.

Ordenar
Resultados
The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro.

por Sterling, Leon | Shapiro, Ehud.

Series MIT press series in logic programmingTipo de material: Texto Texto Idioma: Inglés Detalles de publicación: Cambridge, Mass. : MIT, 1986Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA76.73 .P76 S84.

The art of prolog : advanced programming techniques/cLeon Sterling, Ehud Shapiro

por Stearling, Leon | Shapiro, Ehud [coaut.].

Series MIT press series in logic programmingTipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: Cambridge, Mass. : MIT, 1994Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (1) Signatura topográfica: QA76.73.P76 S84 1994, Biblioteca Central Tijuana (2) Signatura topográfica: QA76.73.P76 S84 1994, ...

Artificial intelligence : structures and strategies for complex problem solving / George F. Luger.

por Luger, George F.

Edición: 5th ed.Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Harlow, England ; New York : Addison-Wesley, 2005Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: Q335 L83 2005.

Introducción a los lenguajes Prolog y Lisp : teoría y práctica / Vázquez ...[et al.]

por Vázquez Torres, Fernando.

Edición: 1a ed.Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Español Detalles de publicación: México : Instituto Plitécnico Nacional, c1999Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (3) Signatura topográfica: QA76.73.P76 I58 1999, ...

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 Ledesma, Luis de.

Series Computación. Programación.Edición: 1a ed.Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: México, D.F. : Alfaomega : Ra-Ma, 2010Otro 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 Central Tijuana (2) Signatura topográfica: QA76.63 L43 2010, ...

Natural language processing for Prolog programmers / Michael A. Covington.

por Covington, Michael A.

Tipo de material: Texto Texto Idioma: Inglés Detalles de publicación: Englewood Cliffs, N. J. : Prentice Hall, 1994Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA76.73 .P76 C68.

Problem solving with Prolog / John Stobo.

por Stobo, John.

Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: London : Pitman, 1989Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: QA76.73.P7 S86 1989.

Prolog programming for artificial intelligence / Ivan Bratko.

por Bratko, Ivan.

Series International computer science seriesEdición: 3a.Tipo de material: Texto Texto Idioma: Inglés Detalles de publicación: Harlow, England : Pearson Education : Addison-Wesley, 2001Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: Q336 B73 2001.

Prolog programming for artificial intelligence / Ivan Bratko.

por Bratko, Ivan, 1946-.

Edición: 4th ed.Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Harlow, England ; New York : Addison-Wesley, 2012Disponibilidad: Ítems disponibles para préstamo: Valle Dorado (1) Signatura topográfica: Q336 B73 2012, Biblioteca Central Mexicali (1) Signatura topográfica: Q336 B73 2012.

Prolog programming in depth / Michael A. Covington, Donald Nute, Andre Vellino.

por Covington, Michael A | Nute, Donald, 1947- | Vellino, Andre.

Tipo de material: Texto Texto Idioma: Inglés Detalles de publicación: Upper Saddle River, N. J. : Prentice Hall, 1997Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA76.73 .P76 C69, ...

TURBO PROLOG : programacion avanzada / Herbert Schildt ; tr. Jesus Ayuso Leno ; rev. tecnica Antonio Vaquero Sanchez.

por Schildt, Herbert.

Tipo de material: Texto Texto Idioma: Español Detalles de publicación: Mexico : McGraw-Hill, 1989Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (3) Signatura topográfica: QA76.73 .P76 S24, ...

Páginas

Con tecnología Koha