Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Term Indexing
Best Price (Coupon Required):
Buy Term Indexing for $49.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Jahrbuch der Schiffbautechnischen Gesellschaft
$59.99
Genetic Engineering, Biofertilisation, Soil Quality and Organic Farming
$219.99
Panic Buying
$54.99
Cyber China
$54.99
Microsoft Project fr Windows
$64.99
Religious Consciousness and Experience
$54.99
European Film and Television Co-production
$37.99
Geochemistry of Organic Matter in River-Sea Systems
$109.99
A Natural Language and Graphics Interface
$109.99
Gold Metallogeny and Exploration
$139.99
Der Erste Weltkrieg
$19.99
Die symbolische Methode zur Lsung von Wechselstromaufgaben
$59.99
Foundations of Software Technology and Theoretical Computer Science
$39.99
Unendlichkeiten
$44.99
Plasmids in Bacteria
$109.99
Being Shaken: Ontology and the Event
$54.99
Biomedical Image Registration
$54.99
Die Entwicklung Ihres Unternehmens
$39.99
Facebook in der Sozialen Arbeit
$64.99
The Acth Axis: Pathogenesis, Diagnosis and Treatment
$129.00
Vibration of Strongly Nonlinear Discontinuous Systems
$169.99
The Immanence of Theology and the Absurdity of Faith
$109.00
Wissensmanagement in Nonprofit-Organisationen
$89.99
Hydrogen-Bonded Liquids
$219.99
Die Gebote des gesunden Menschenverstands
$19.99
The Economics of Brexit
$34.99
Grind Hardening Process
$54.99
Electrochemical Synthesis of Inorganic Compounds
$169.99
Geoinformation from the Past
$54.99
Collaborative Innovation Mechanism of GBA in China
$99.99
Ergebnisse der sportrztlichen Untersuchungen bei den IX. Olympischen Spielen in Amsterdam 1928
$59.99
Fuzzy Preference Ordering of Interval Numbers in Decision Problems
$84.99
Islamic Philosophy and Occidental Phenomenology in Dialogue
$109.99
Reconfigurable Intelligent Surface-Empowered
$199.99
Vertrauen und Kooperation in der Arbeitswelt
$37.99
Artificial Intelligence and Computational Intelligence
$39.99
High-Pressure Shock Compression of Solids V
$84.99
Arab Women's Activism and Socio-Political Transformation
$109.99
Asymptotic Combinatorial Coding Theory
$84.99
Scaling-up Solutions for Farmers
$199.99
