Take a photo of a barcode or cover
294 pages • missing pub info (view editions)
ISBN/UID: 9783540610403
Format: Paperback
Language: English
Publisher: Springer
Edition Pub 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 (view editions)
ISBN/UID: 9783540610403
Format: Paperback
Language: English
Publisher: Springer
Edition Pub 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