Product Overview
Importante: Este libro es importado y podría tener una demora de 30 días.
Titulo: Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Formato: Paperback
Autor: Sandrine Blazy
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Lenguaje: English
Páginas: 498
ISBN: 9783642396335