Produktbild
Jaques (Hrsg.) Calmet

Artificial Intelligence and Symbolic Mathematical Computation

International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

Buch

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.

CHF 115.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Campbell, John A. (Hrsg.) / Pfalzgraf, Jochen (Hrsg.)
  • ISBN: 978-3-540-61732-7
  • EAN: 9783540617327
  • Produktnummer: 3364811
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1996
  • Seitenangabe: 396 S.
  • Masse: H23.5 cm x B15.5 cm x D2.1 cm 598 g
  • Auflage: 1996
  • Abbildungen: Paperback
  • Gewicht: 598

3 weitere Werke von Jaques (Hrsg.) Calmet:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.