Artificial Intelligence and Symbolic Mathematical Computation
International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
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)
V103:
Folgt in ca. 5 Arbeitstagen
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
Anmelden