Scan barcode
294 pages • missing pub info (editions)
ISBN/UID: 9783540610403
Format: Paperback
Language: English
Publisher: Springer
Publication date: 27 March 1996
Description
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,...
Community Reviews
Content Warnings
294 pages • missing pub info (editions)
ISBN/UID: 9783540610403
Format: Paperback
Language: English
Publisher: Springer
Publication date: 27 March 1996
Description
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,...
Community Reviews
Content Warnings