Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.

Bertot, Yves et. al. (Eds.):

Editorial: Berlin: Springer., 1999
Idioma: Inglés
Usado Condición: Wie neu Encuadernación de tapa blanda

Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 3 de mayo de 2002

Miembro de asociación:

Ver los artículos de este vendedor


Usado - Encuadernación de tapa blanda

Precio: EUR 10,60 Convertir moneda
EUR 20,00 gastos de envío desde Alemania a Estados Unidos de America Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito