Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869)

ISBN 10: 3540678638 ISBN 13: 9783540678632
Editorial: Springer, 2000
Idioma: Inglés
Condición: Usado - Regular Encuadernación de tapa blanda

Vendido por St Vincent de Paul of Lane County, Eugene, OR, Estados Unidos de America

Vendedor de AbeBooks desde 11 de marzo de 2014

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


Usado - Encuadernación de tapa blanda

Condición: Usado - Regular

Precio:
EUR 3,98
Envío por EUR 3,43
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito