Su búsqueda obtuvo 13 resultados.

Resultados
		Logic-based artifical intelligence / edited by Jack Minker por Minker, Jack [editor literario]. Series The Kluwer international series in engineering and computer scienceTipo de material: Texto Detalles de publicación: Boston [etc.] : Kluwer Academic Publishers, 2000Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-7073. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Handbook of practical logic and automated reasoning / John Harrison por Harrison, John. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge : Cambridge University, 2009Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 510.6/HAR/han, ... No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Lógica computacional / Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio. por Paniagua Arís, Enrique \| Sánchez González, Juan Luis [coautor] \| Martín Rubio, Fernando [coautor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Thomson , c2003Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 510.6/PAN/log, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Lógica, programación e inteligencia artificial / Robert Kowalski por Kowalski, Robert. Tipo de material: Texto; Formato: impreso Detalles de publicación: Madrid : Díaz de Santos, 1986Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 681.3/KOW/log, ... 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)
		Rompiendo códigos : vida y legado de Turing / Manuel de León y Ágata Timón por León, Manuel de \| Timón, Ágata [coautor] \| Consejo Superior de Investigaciones Científicas (España). Series ¿Qué sabemos de? ; 48.Tipo de material: Texto; Formato: impreso Detalles de publicación: [Madrid] : CSIC: Libros de la catarata, 2014Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Dañado (1). 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)
		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)
		Filosofía y computación / Angel Garrido. por Garrido, Angel. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Dykinson, 2017Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-6756. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Formal concept analysis : mathematical foundations / Bernhard Ganter, Rudolf Wille por Ganter, Bernhard \| Wille, Rudolf [coautor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer, 1999Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Gödel, Escher, Bach : un eterno y grácil bucle / Douglas R. Hofstadter. por Hofstadter, Douglas R. Series Fábula ; 269.Edición: 1ª ̇ed. en Fábula.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Barcelona : Tusquets, 2007Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/HOF/god. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Gödel, Escher, Bach : un eterno y grácil bucle / Douglas R. Hofstadter ; trad. Mario A. Usabiaga y Alejandro Lâopez Rousseau ; col. Franco Somonetti, Andrea Parada, Claudio L. Lamadrid por Hofstadter, Douglas R. Series Matatemas ; 14Edición: [6ª ed.]Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Barcelona : Tusquets, 1998Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/HOF/god. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Commonsense reasoning : an event calculus based approach / Erik T. Mueller por Mueller, Erik T, (19..-....) [autor]. Edición: 2nd edition. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Waltham, MA : M. Kaufman, Elsevier, cop. 2015Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-7075. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Con tecnología Koha