Su búsqueda obtuvo 2 resultados.

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

Ajustar la búsqueda