Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 1997, Proceedings - Lecture Notes in Computer Science - Elsa L Gunter - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540633792 - 6 de agosto de 1997
En caso de que portada y título no coincidan, el título será el correcto

Elsa L Gunter
Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 1997, Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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 comprises the proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97. Papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics.

346 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de agosto de 1997
ISBN13 9783540633792
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 346
Dimensiones 156 × 234 × 18 mm   ·   498 g
Lengua Alemán  
Editor Felty, Amy
Editor Gunter, Elsa L.

Mere med samme udgiver

Ver todo de Elsa L Gunter ( Ej. Paperback Book )