Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings - Lecture Notes in Computer Science - Stefan Berghofer - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642033582 - 4 de agosto de 2009
En caso de que portada y título no coincidan, el título será el correcto

Stefan Berghofer
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 27 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

528 pages, Illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 4 de agosto de 2009
ISBN13 9783642033582
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 517
Dimensiones 155 × 235 × 25 mm   ·   748 g
Lengua Francés  
Editor Berghofer, Stefan
Editor Nipkow, Tobias
Editor Urban, Christian
Editor Wenzel, Makarius

Mere med samme udgiver

Ver todo de Stefan Berghofer ( Ej. Paperback Book )