Table of contents (23 papers)

  1. Front Matter
  2. Symbolic computation and teaching
    Dana S. Scott
    Pages 1-20
  3. Analytica — An experiment in combining theorem proving and symbolic computation
    Andrej Bauer, Edmund Clarke, Xudong Zhao
    Pages 21-37
  4. Document recognition, semantics, and symbolic reasoning in reverse engineering of software
    G. Butler, P. Grogono, R. Shinghal, I. Tjandra
    Pages 38-48
  5. Compromised updates in labelled databases
    Fátima C. C. Dargam
    Pages 49-70
  6. An inference engine for propositional two-valued logic based on the radical membership problem
    Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
    Pages 71-86
  7. Knowledge-based information processing in manufacturing cells — The present and the future
    Gunther Reinhart, Rolf Diesch, Michael R. Koch
    Pages 109-123
  8. Combining local consistency, symbolic rewriting and interval methods
    Frédéric Benhamou, Laurent Granvilliers
    Pages 144-159
  9. Proof transformation for non-compatible rewriting
    Reinhard Bündgen
    Pages 160-175
  10. Measuring the likely effectiveness of strategies
    Brian J. Dupée
    Pages 191-196
  11. A new approach on solving 3-satisfiability
    Robert Rodošek
    Pages 197-212
  12. Geometry machines: From AI to SMC
    Dongming Wang
    Pages 213-239
  13. Data types in subdefinite models
    Vitaly Telerman, Dmitry Ushakov
    Pages 305-319

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

  • 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