Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.
Bertot, Yves et. al. (Eds.):
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 3 de mayo de 2002
Usado - Encuadernación de tapa blanda
Cantidad disponible: 1 disponibles
Añadir al carrito