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: 55.99 USD
Availability: OutOfStock
Author: Jaques Calmet

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.

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

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)