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
Mex$ 1.129
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de ago. - 10 de sep.

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

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

Más del mismo editor