Term Indexing

CN¥549.00
+ CN¥150.49 Shipping

Term Indexing

Sold by:
  • product image
Term Indexing

CN¥549.00

In stock
+ CN¥150.49 Shipping

14-Day Returns Policy

Payment methods:

Product details

Product details

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 Properties.this Monograph Provides A Comprehensive, Well-written Survey On Term Indexing In General And Presents 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.
  • Brand: Springer Nature B.V
  • Category: Computing & Internet
  • Format: Paperback
  • Language: English
  • Publication Date: 1996-03-27
  • Publisher / Label: Springer Nature B.V
  • Author: Peter Graf
  • Number of Pages: 308
  • Fruugo ID: 557237656-1125507289
  • ISBN: 9783540610403
Delivery

Delivery

Dispatched within 24 hours

  • STANDARD: CN¥150.49 - Delivery between Mon 09 November 2026–Mon 07 December 2026

Shipping from United Kingdom.

Returns

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy