Table of contents

  1. Front Matter
  2. Dana S. Scott
    Pages 1-20
  3. Andrej Bauer, Edmund Clarke, Xudong Zhao
    Pages 21-37
  4. G. Butler, P. Grogono, R. Shinghal, I. Tjandra
    Pages 38-48
  5. Fátima C. C. Dargam
    Pages 49-70
  6. Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
    Pages 71-86
  7. Gunther Reinhart, Rolf Diesch, Michael R. Koch
    Pages 109-123
  8. Frédéric Benhamou, Laurent Granvilliers
    Pages 144-159
  9. Reinhard Bündgen
    Pages 160-175
  10. Brian J. Dupée
    Pages 191-196
  11. Robert Rodošek
    Pages 197-212
  12. Dongming Wang
    Pages 213-239
  13. Vitaly Telerman, Dmitry Ushakov
    Pages 305-319
  14. Nirina Andrianarivelo, Wadoud Bousdira, Jean -Marc Talbot
    Pages 320-338
  15. Elmar Eder
    Pages 339-353
  16. A. Gavilanes, J. Leach, P. J. Martín, S. Nieva
    Pages 365-379
  17. Back Matter

About these 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.


Artificial intelligence Automat Symbol automated deduction computational geometry intelligence proving theorem proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61732-7
  • Online ISBN 978-3-540-70740-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences