Term Indexing

by Peter Graf

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540610405
• ISBN13: 9783540610403
• Release Date: March 1996
• Publisher: Springer
• Length: 294 Pages
• Weight: 0.96 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"