Su búsqueda obtuvo 5 resultados.

Resultados
		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, 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)
		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)
		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)
		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)

Con tecnología Koha