Jaques Calmet
Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science Jaques Calmet

Name: Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science
Price: 961 MXN
Availability: OutOfStock
Author: Jaques Calmet

Precio

Mex$ 961

sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jul. - 11 de ago.

Recibe notificaciones sobre nuevos lanzamientos de Jaques Calmet

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

Aún no valorado

Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science

Jaques Calmet

The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning.

384 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	11 de septiembre de 1996
ISBN13	9783540617327
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	384
Dimensiones	156 × 234 × 20 mm · 553 g
Lengua	Alemán
Editor	Calmet, Jacques C.
Editor	Campbell, J.a.
Editor	Pfalzgraf, Jochen (University of Linz, Austria)