Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings - Lecture Notes in Computer Science - - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540581567 - 8 de junio de 1994
En caso de que portada y título no coincidan, el título será el correcto

Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. 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 of conference papers has been organized into sections on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, higher-order theorem proving and problem sets.

864 pages, illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de junio de 1994
ISBN13 9783540581567
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 864
Dimensiones 150 × 220 × 10 mm   ·   1,20 kg
Lengua Alemán  
Editor Bundy, Alan

Mere med samme udgiver