Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993. Proceedings (International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993 - Proceedings) - Lecture N - Jeffrey J Joyce - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540578260 - 28 de abril de 1994
En caso de que portada y título no coincidan, el título será el correcto

Jeffrey J Joyce
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993. Proceedings (International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993 - Proceedings) - Lecture N

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

Containing the edited proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia, Vancouver, Canada in August 1993, this volume explores higher-order logic theory proving, its usage and applications.

526 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de abril de 1994
ISBN13 9783540578260
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 526
Dimensiones 156 × 234 × 27 mm   ·   743 g
Lengua Alemán  
Editor Joyce, Jeffrey J.
Editor Seger, Carl-johan H.

Mere med samme udgiver

Ver todo de Jeffrey J Joyce ( Ej. Paperback Book )