E Thomas Schubert
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings (International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 - Proceedings) - Lecture Notes in Computer E Thomas Schubert

Name: Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings (International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 - Proceedings) - Lecture Notes in Computer
Price: 55.99 USD
Availability: OutOfStock
Author: E Thomas Schubert

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings (International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 - Proceedings) - Lecture Notes in Computer

E Thomas Schubert

The papers in this collection document the advances in the field, and fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

408 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	23 de agosto de 1995
ISBN13	9783540602750
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	408
Dimensiones	156 × 234 × 21 mm · 580 g
Lengua	Alemán
Editor	Alves-foss, James
Editor	Schubert, E.thomas
Editor	Windley, Phillip J.