Ajustar la búsqueda

Su búsqueda obtuvo 24 resultados.

Ordenar
Resultados
Inteligencia artificial y Prolog en microordenadores / J. McAllister

por Mac Allister, J.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Marcombo, 1991Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 681.3/McA/int.

Programming in Prolog / W.F. Clocksin, C.S. Mellish

por Clocksin, William F | Mellish, Christopher S.

Edición: 5th ed.Tipo de material: Texto 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, ...

The art of prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro, with a foreword by David H.D. Warren

por Sterling, Leon | Shapiro, Ehud.

Series MIT Press series in logic programmingEdición: 6th. print.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge : The Mit Press, 1988Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 681.3.06PRO/STE/art, ...

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 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, ...

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 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, ...

Techniques of prolog programming with implementation of logical negation and quantified goals / T. Van Le

por Van Le, T.

Tipo de material: Texto 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, ...

The craft of prolog / Richard A. O'Keefe

por O'Keefe, Richard A.

Series Logic programmingTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge, Massachusetts [etc.] : MIT, cop. 1990 (1994 reimp.)Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3.06PRO/OKE/cra, ... Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 681.3.06/OKE/cra.

Clause and effect : Prolog programming for the working programmer / William F. Clocksin

por Clocksin, W. F.

Tipo de material: Texto 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, ...

Prolog for programmers / by Feliks Kluzniak and Stanislaw Szpakowicz.

por Kluzniak, Feliks | Szpakowicz, Stanislaw.

Series The APIC studies in data processings series ; 24.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: London, [etc.] : Academic Press, 1985Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06PRO/KLU/pro.

PROLOG / Françis Giannesini... [et al.] ; prefacio de Alain Colmerauer ; versión en español de José Cuena Bartolomé y Ana María García Serrano ; con la colaboración de Pablo Noriega.

por Giannesini, Françis | Colmerauer, Alain [prologuista] | Cuena Bartolomé, José [traductor] | García Serrano, Ana María [traductor] | Noriega, Pablo [].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Argentina [etc.] : Addison-Wesley Iberoamericana, 1989Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06PRO/PRO.

Prolog : l'implantation / Patrice Boizumault, préface de M. Bergman

por Boizumault, Patrice.

Series Etudes et recherches en informatiqueTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Paris[etc.] : Masson, 1988Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06PRO/BOI/pro.

The art of prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro, with a foreword by David H.D. Warren

por Sterling, Leon | Shapiro, Ehud.

Series MIT Press series in logic programmingTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge : The Mit Press, 1986Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06/STE/art.

Prolog : programación y aplicaciones en inteligencia artificial / A. A. Berk

por Berk, A. A.

Series Informática personal-profesional (Anaya multimedia)Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Anaya Multimedia, D.L. 1986Disponibilidad: Ítems disponibles para préstamo: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 681.31.06 PRO/BER/pro Estante cerrado. Ítems disponibles para referencia: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS: Not for loan (1)Ubicación, signatura topográfica: 681.31.06 PRO/BER/pro.

Prolog : programming for artificial intelligence / Ivan Bratko

por Bratko, Ivan.

Series International computer scienceEdición: 2nd ed.Tipo de material: Texto 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.

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 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, ...

Prolog : introducción a la programación de los sistemas expertos / J.M. Orenga y Ortega, J.P. Sánchez y Beltrán

por Orenga y Ortega, J.M | Sánchez y Beltrán, Juan Pablo.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : RA-MA, D.L. 1987Disponibilidad: Ítems disponibles para préstamo: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 681.31.06 PRO/ORE/pro Estante cerrado. Ítems disponibles para referencia: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS: Not for loan (1)Ubicación, signatura topográfica: 681.31.06 PRO/ORE/pro.

Computing with logic : logic programming with prolog / David Maier, David S. Warren

por Maier, David | Warren, David S.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Menlo Park, California[etc.] : The Benjamin/Cummings, 1988Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06PRO/MAI/com.

Prolog : programming for artificial intelligence / Ivan Bratko

por Bratko, Ivan.

Series International computer scienceEdición: 3rd ed.Tipo de material: Texto 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, ...

Warren's abstract machine : a tutorial reconstruction / Hassan Ait-Kaci

por Ait-Kaci, Hassan.

Series Logic programmingTipo de material: Texto 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, ...

Programación en Prolog / W.F. Clocksin, C.S. Mellish

por Clocksin, W. F | Mellish, C. S.

Series Ciencia informáticaEdición: 2a ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Gustavo Gili, 1993Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-Zona de descanso - 681.3.06/CLO/pro. 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 800.92/CLO/pro.

Páginas

Con tecnología Koha