Term Indexing
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1995 |
| Authors | Peter Graf |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2940505 |
About Term Indexing
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 . . .