Su búsqueda obtuvo 9 resultados.

Resultados
		The art of prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro, with a foreword by David H.D. Warren por Sterling, Leon \| Shapiro, Ehud. Edición: 2nd ed.Tipo de material: Texto; Formato: impreso Detalles de publicación: Cambridge[etc.] : The MIT Press, cop. 1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 681.3.06PRO/STE/art, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Programming in Prolog / W.F. Clocksin, C.S. Mellish por Clocksin, William F \| Mellish, Christopher S. Edición: 5th ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer, 2003Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 681.3.06PRO/CLO/pro, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Programación en Prolog / W.F. Clocksin, C.S. Mellish por Clocksin, W. F \| Mellish, C. S. Series Ciencia informática (Gustavo Gili)Tipo de material: Texto; Formato: impreso Detalles de publicación: Barcelona : Gustavo Gili, D.L. 1987Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (6)Ubicación, signatura topográfica: 681.3.06PRO/CLO/pro, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Clause and effect : Prolog programming for the working programmer / William F. Clocksin por Clocksin, W. F. Tipo de material: Texto; Formato: impreso Detalles de publicación: New York : Springer, 1997Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (6)Ubicación, signatura topográfica: 681.3.06PRO/CLO/cla, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Techniques of prolog programming with implementation of logical negation and quantified goals / T. Van Le por Van Le, T. Tipo de material: Texto; Formato: impreso Detalles de publicación: New York [etc.] : John Wiley & Sons, cop. 1993Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 681.3.06/VAN/tec. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: Depósito-681.3.06PRO/VAN/tec, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo por Julián Iranzo, Pascual \| Alpuente Frasnedo, María. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Pearson Educación, 2007Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3.06PRO/JUL/pro, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Prolog : programming for artificial intelligence / Ivan Bratko por Bratko, Ivan. Series International computer scienceEdición: 3rd ed.Tipo de material: Texto; Formato: impreso Detalles de publicación: Wokingham, England [etc.] : Addison-Wesley, 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3.06PRO/BRA/pro, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Prolog : programming for artificial intelligence / Ivan Bratko por Bratko, Ivan. Series International computer scienceEdición: 2nd ed.Tipo de material: Texto; Formato: impreso Detalles de publicación: Wokingham, England [etc.] : Addison-Wesley, cop. 1990Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 681.31/BRA/pro. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06PRO/BRA/pro. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Warren's abstract machine : a tutorial reconstruction / Hassan Ait-Kaci por Ait-Kaci, Hassan. Series Logic programmingTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: London : The MIT Press, 1991Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3.06PRO/AIT/war, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Con tecnología Koha