Table of contents

  1. Front Matter
  2. J. Bentley
    Pages 1-16
  3. L. Carroll
    Pages 17-25
  4. L. P. Deutsch
    Pages 27-41
  5. A. Einstein
    Pages 43-50
  6. Mark Twain
    Pages 51-126
  7. S. C. Johnson
    Pages 127-199
  8. D. Knuth
    Pages 201-231
  9. Baruch's Observation
    Pages 233-263
  10. D. Bumstead
    Pages 265-273
  11. Back Matter

About this book


Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.
This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.


Analytic Calculi Analytische Kalküle Automated Theorem Proving Automatisches Beweisen Automatisches Schließen Resolution Term Indexing Term Retrieval Termabfrage Termindizierung algorithms automated reasoning

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61040-3
  • Online ISBN 978-3-540-49873-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site