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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540602750 - 23 de agosto de 1995
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 1.128
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de ago. - 10 de sep.
Recibe notificaciones sobre nuevos lanzamientos de E Thomas Schubert

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

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.

Más del mismo editor

Ver todo de E Thomas Schubert ( Ej. Paperback Book )