Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (International Workshop, Valletta, Malta, September 19-22, 1944 - Proceedings) - Lecture Notes in Computer Science - Thomas F Melham - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540584506 - 7 de septiembre de 1994
En caso de que portada y título no coincidan, el título será el correcto

Thomas F Melham
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (International Workshop, Valletta, Malta, September 19-22, 1944 - 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 contains the proceedings of a workshop on the subject, held in Malta in 1994. Along with a number of papers on the design and applications of theorem-provers, there is a report on the applications of the higher order logic (HOL) system.

488 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de septiembre de 1994
ISBN13 9783540584506
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 488
Dimensiones 155 × 233 × 25 mm   ·   680 g
Lengua Alemán  
Editor Camilleri, Juanito
Editor Melham, T. F.

Mere med samme udgiver

Ver todo de Thomas F Melham ( Ej. Paperback Book )