Shop all Springer

Term Indexing - by Peter Graf (Paperback)

Name: Term Indexing - by Peter Graf (Paperback)
Brand: Springer
SKU: 1011231029
Price: 54.99 USD
Availability: InStock

0 out of 5 stars with 0 reviews

5 Questions

$54.99

In Stock

Free & easy returns

Return this item by mail or in store within 90 days for a full refund.

Eligible for registries and wish lists

Save 5% every day

With Target Circle™ Card

About this item

Details

Highlights

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 new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems.
Author(s): Peter Graf
294 Pages
Computers + Internet, Artificial Intelligence

Description

Book Synopsis

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 new 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.

Specifications

Dimensions (Overall): 9.21 Inches (H) x 6.14 Inches (W) x .65 Inches (D)

Weight: .96 Pounds

Suggested Age: 22 Years and Up

Number of Pages: 294

Genre: Computers + Internet

Sub-Genre: Artificial Intelligence

Publisher: Springer

Theme: General

Format: Paperback

Author: Peter Graf

Language: English

Street Date: March 27, 1996

TCIN: 1011231029

UPC: 9783540610403

Item Number (DPCI): 247-05-0174

Origin: Made in the USA or Imported

If the item details aren’t accurate or complete, we want to know about it.

Shipping & Returns

Shipping details

Estimated ship dimensions: 0.65 inches length x 6.14 inches width x 9.21 inches height

Estimated ship weight: 0.96 pounds

We regret that this item cannot be shipped to PO Boxes.

This item cannot be shipped to the following locations: American Samoa (see also separate entry under AS), Guam (see also separate entry under GU), Northern Mariana Islands, Puerto Rico (see also separate entry under PR), United States Minor Outlying Islands, Virgin Islands, U.S., APO/FPO, Alaska, Hawaii

Return details

This item can be returned to any Target store or Target.com.

This item must be returned within 90 days of the date it was purchased in store, delivered to the guest, delivered by a Shipt shopper, or picked up by the guest.

See the return policy for complete information.