Su búsqueda obtuvo 6 resultados.

Ordenar
Resultados
Logic-based knowledge representation / Peter Jackson, Han Reichgelt, Frank van Harmelen

por Jackson, Peter | Reichgelt, Han | Van Harmelen, Frank.

Series Logic programmingTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge, Massachusetts [etc.] : Massachusetts Institute of Technology, 1989Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Ubicación, signatura topográfica: Depósito-681.3/JAC/log.

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.

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

Programming in Parlog / Tom Conlon

por Conlon, Tom.

Series International series in logic programmingTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Wokingham, England : Addison-Wesley, 1989Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06PAR/CON/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, ...

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.

Páginas

Con tecnología Koha