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
Mex$ 1.149
sin IVA

Pedido desde almacén remoto

Entrega prevista 11 - 27 de ago.
Recibe notificaciones sobre nuevos lanzamientos de J Hurd

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

Aún no valorado

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

Más del mismo editor

Ver todo de J Hurd ( Ej. Paperback Book )