Resultados de la búsqueda para 'an:13200'

Resultados
		HANDBOOK of logic in artificial intelligence and logic programming / ed. by Dov M. Gabbay and C.J. Hogger and J.A. Robinson Tipo de material: Texto; Formato: impreso Detalles de publicación: Oxford : Clarendon, 1993Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/HAN. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Introducción a la programación lógica / Joaquín Pizarro Junquera, José Antonio Jiménez Millán, Mª del Carmen de Castro Cabrera por Pizarro Junquera, Joaquín \| Jiménez Millán, José Antonio \| Castro Cabrera, María del Carmen de. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cádiz : Departamento de Lenguajes y Sistemas Informáticos de la Universidad de Cádiz, D.L. 1997Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (5)Ubicación, signatura topográfica: 519.6/.8/PIZ/int, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson Tipo de material: Texto; Formato: impreso Detalles de publicación: Oxford : Clarendon, 1993 (imp.1996)Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-27/5-225. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin. por Lassez, Jean-Louis [] \| Plotkin, G. (Gordon), 1946- [] \| Robinson, J. A. (John Alan) []. Tipo de material: Texto festschrift ; Forma literaria: No es ficción Detalles de publicación: Cambridge, Mass. [etc.] MIT Press, 1991Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/COM. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		From logic to logic programming : Kees Doets por Doets, Kees. Series Foundations of computingTipo de material: Texto; Formato: impreso Detalles de publicación: Cambridge [etc.] : MIT Press, 1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 681.3.06/DOE/fro, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Advances in fuzzy logic : selected papers (with comments) of some spanish authors / editors, Senén Barro, Alberto Bugarín, Alejandro Sobrino por Barro, Senén [editor literario] \| Sobrino, Alejandro [editor literario] \| Bugarín, Alberto [editor literario]. Series Avances en ; 5Tipo de material: Texto; Formato: impreso Detalles de publicación: Santiago de Compostela : Universidade de Santiago de Compostela, 1998Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-519.6/.8/ADV. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Programación lógica / H. Bull; traducción Luis Merino ramos por Bull, H \| Warnier, Jean-Dominique. Edición: 2a ed.Tipo de material: Texto; Formato: impreso Detalles de publicación: Barcelona : Técnicos Asociados, 1974Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (2)Ubicación, signatura topográfica: I-360, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Essential logic for computer science / Rex Page and Ruben Gamboa por Page, Rex \| Gamboa, Ruben [coautor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge, Massachussetts : The MIT Press, 2018Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3:510.6/PAG/ess. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Essentials of logic programming / Christopher John Hogger por Hogger, Christopher John. Series Graduate text in computer science ; 1Tipo de material: Texto; Formato: impreso Detalles de publicación: Oxford : Clarendon, 1990Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 519.68/HOG/ess. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06/HOG/ess. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Logic for computer scientists / Uwe Schöning por Schöning, Uwe. Series Progress in computer science and applied logic ; 8Tipo de material: Texto; Formato: impreso Detalles de publicación: Berlín : Birkhäuser, 1989Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/SCH/log, ... 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)
		Controladores lógicos / Manuel Álvarez Pulido por Álvarez Pulido, Manuel. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Barcelona : Marcombo, 2004Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.5/ALV/con. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson Tipo de material: Texto; Formato: impreso Detalles de publicación: Oxford : Clarendon, 1994Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-27/5-222. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Computing with logic : logic programming with prolog / David Maier, David S. Warren por Maier, David \| Warren, David S. Tipo de material: 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. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Digital systems : principles and applications / Ronald J. Tocci, Neal S. Widmer, Gregory L. Moss por Tocci, Ronald J \| Moss, Gregory L [] \| Widmer, Neal S []. Edición: 10th ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Upper Saddle River : Prentice Hall, 2007Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (4)Ubicación, signatura topográfica: 621.38/TOC/dig, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 621.38/TOC/dig, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson Tipo de material: Texto; Formato: impreso Detalles de publicación: Oxford : Clarendon, 1993 (imp.1996)Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-27/5-224. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Mathematical logic for computer science / M. Ben-Ari. por Ben-Ari, M, 1948-. Series Prentice-Hall International Series in Computer ScienceTipo de material: Texto; Forma literaria: No es ficción Detalles de publicación: New York [etc.] : Prentice-Hall, 1993Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/BEN/mat. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Logic for computer scientist / Uwe Schöning por Schoning, Uwe. Series Progress in computer science and applied logic ; 8Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Boston : Birkhauser, 1989 (2001 print.)Disponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		The Haskell road to logic, maths and programming / Kees Doets, Jan van Eijck por Doets, Kees \| Eijck, Jan van. Series Texts in computing ; 4Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: London : King's College London, 2004Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/DOE/has. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson por Babbay, Dov M \| Hogger, Christopher John \| Robinson, J.A. Tipo de material: Texto; Formato: impreso Detalles de publicación: Oxford : Clarendon, 1998Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/HAN. 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-27/5-223. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Ajustar la búsqueda

Disponibilidad

Autores

Tipos de ítem

Series

Temas

Bibliotecas depositarias

Bibliotecas de origen

Idiomas

Su búsqueda obtuvo 26 resultados.