Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994

Melham, Thomas F. ; & Camilleri, Juanito ; editors :

ISBN 10: 3540584501 ISBN 13: 9783540584506
Editorial: Springer-Verlag (1994), Berlin / Heidelberg, 1994
Condición: Usado Encuadernación de tapa blanda

Vendido por Expatriate Bookshop of Denmark, Svendborg, Dinamarca

Honoris Librarius
Vendedor de AbeBooks desde 6 de diciembre de 1998

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

Ver los artículos de este vendedor


Usado - Encuadernación de tapa blanda

Condición: Minor wear. VG.

Precio:
EUR 51,87
EUR 129,00 shipping
Se envía de Dinamarca a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito