Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings: Vol 5674

Berghofer, Stefan (Editor)/ Nipkow, Tobias (Editor)/ Urban, Christian (Editor)

ISBN 10: 364203358X ISBN 13: 9783642033582
Editorial: Springer-Verlag New York Inc, 2009
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por Revaluation Books, Exeter, Reino Unido

Vendedor de AbeBooks desde 6 de enero de 2003

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

Ver los artículos de este vendedor


Nuevos - Encuadernación de tapa blanda

Condición: Nuevo

Precio:
EUR 82,21
Envío por EUR 14,43
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito