Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science - Klaus Schneider - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540745907 - 28 de agosto de 2007
En caso de que portada y título no coincidan, el título será el correcto

Klaus Schneider
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 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

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007.

404 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de agosto de 2007
ISBN13 9783540745907
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 404
Dimensiones 155 × 235 × 21 mm   ·   625 g
Editor Brandt, Jens
Editor Schneider, Klaus

Mas por Klaus Schneider

Mostrar todo

Mere med samme udgiver

Ver todo de Klaus Schneider ( Ej. Paperback Book , Hardcover Book y 12" )