bokomslag Artificial Intelligence and Symbolic Mathematical Computation
Data & IT

Artificial Intelligence and Symbolic Mathematical Computation

Jaques Calmet John A Campbell Jochen Pfalzgraf

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 384 sidor
  • 1996
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.
  • Författare: Jaques Calmet, John A Campbell, Jochen Pfalzgraf
  • Format: Pocket/Paperback
  • ISBN: 9783540617327
  • Språk: Engelska
  • Antal sidor: 384
  • Utgivningsdatum: 1996-09-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K