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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-61732-9
  • Copyright Information Springer-Verlag 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