Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Lecture Notes in Computer Science - J Hurd - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540283720 - 8 de agosto de 2005
En caso de que portada y título no coincidan, el título será el correcto

J Hurd
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 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 volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford, UK. TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.

414 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de agosto de 2005
ISBN13 9783540283720
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 414
Dimensiones 155 × 235 × 21 mm   ·   589 g
Lengua Alemán  
Editor Hurd, Joe
Editor Melham, Tom

Mere med samme udgiver

Ver todo de J Hurd ( Ej. Paperback Book )