Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. ... Notes in Computer Science, 1138, Band 1138) - Softcover

Campbell, John A.; Pfalzgraf, Jochen; Calmet, Jaques

 
9783540617327: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. ... Notes in Computer Science, 1138, Band 1138)
Softcover
ISBN 10: 3540617329 ISBN 13: 9783540617327
Verlag: Springer, 2008

Inhaltsangabe

This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.
The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540617329
ISBN 13 
9783540617327
Einband
Taschenbuch
Anzahl der Seiten
396
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783662175903: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

Vorgestellte Ausgabe

ISBN 10:  3662175908 ISBN 13:  9783662175903
Verlag: Springer, 2014
Softcover