Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Term Indexing

Term Indexing

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540610403
Condition
New
Product 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, 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.

Available Colors
Available Sizes
1 Offer Price Range: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$54.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

Human Capital and Innovation

$119.99

Aortic Root Surgery

$109.00

The Universe

$79.99

Handbuch Netzwerkforschung

$139.00

Kostentheoretische Analyse des Modells der optimalen Bestellmenge

$69.99

Medicinal and Aromatic Plants of North America

$179.99

Risk Sharing, Risk Spreading and Efficient Regulation

$39.99

Elemente der Sechsten Gruppe

$79.99

The China-Pakistan Economic Corridor of the Belt and Road Initiative

$129.99

Hope and Heresy

$89.00

Hierarchy in Natural and Social Sciences

$84.99

Zur Bedeutung sthetischer Praxis in Biografien

$74.99

25 Years of p53 Research

$169.99

A Practical Introduction to Hardware/Software Codesign

$59.99

The Black Dancing Body

$84.99

Digital Twin Development

$79.99

Repetitorium der Betriebswirtschaftslehre

$54.99

Theory of Satellite Geodesy and Gravity Field Determination

$39.99

Imagine Math 2

$54.99

Transcending Postmodernism

$54.99

Gender Trouble and Current Archaeological Debates

$139.99

Kirchenasyl in der Bundesrepublik Deutschland

$64.99

Korea

$18.66

Nutrient Dynamics for Sustainable Crop Production

$169.99

Coma and Disorders of Consciousness

$84.99

Rarer Arthropathies

$139.99

Theoretical and Experimental Sonochemistry Involving Inorganic Systems

$129.00

Can You See What I See? Cool Collections (Hardcover)

$10.49

Reinventing Fashion Retailing

$49.99

Farbatlas der Histologie der Regenbogenforelle

$59.99

New Concepts in Pathology and Treatment of Autoimmune Disorders

$109.99

Data Dissemination and Query in Mobile Social Networks

$39.95

Alcohol Intoxication and Withdrawal - IIIb

$39.99

Opferorientierung im Strafvollzug

$109.00

Understanding and Controlling the Irritable Bowel

$32.99

Modeling and IPC Control of Interactive Mechanical Systems - A Coordinate-Free Approach

$129.00

Catalysis

$84.99

Persons in Love

$109.99

Hydraulic Control Systems Design and Analysis of Their Dynamics

$84.99

Perspectives on Pornography

$27.99