Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science - Jaques Calmet - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540617327 - September 11, 1996
In case cover and title do not match, the title is correct

Jaques Calmet
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
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 6 - 10

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 11, 1996
ISBN13 9783540617327
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 384
Dimensions 156 × 234 × 20 mm   ·   553 g
Language German  
Editor Calmet, Jacques C.
Editor Campbell, J.a.
Editor Pfalzgraf, Jochen (University of Linz, Austria)

More by Jaques Calmet

Show all

Mere med samme udgiver

See all of Jaques Calmet ( e.g. Paperback Book )