Häftad, Engelska, 1996
Artificial Intelligence and Symbolic Mathematical Computation
International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
Av Jaques Calmet, John A. Campbell, Jochen Pfalzgraf
Del i serien Lecture Notes in Computer Science
562 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 1996-09-11
- Mått: 155 x 235 x 22 mm
- Vikt: 598 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 384
- Upplaga: 1996
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540617327
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.