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
Inorganic Membranes Synthesis, Characteristics and Applications
$39.99
Automotive Software-Connected Services in Mobile Networks
$54.99
Schwingungsbelastung beim Arbeiten mit handgefhrten, einachsigen Motormhgerten
$59.99
Polarization Theory of Nuclear Reactions
$199.99
Rediscovering John Dewey
$119.00
Die epische Dichtung
$59.99
Re-entry and Planetary Entry Physics and Technology
$109.99
Modern Classification and Data Analysis
$84.99
Prehistoric Iberia
$109.99
Advances in Automatic Control
$129.00
Improving the Earthquake Resilience of Buildings
$169.99
Particle Acceleration and Trapping in Solar Flares
$84.99
Fortschritte der Chemischen Forschung
$44.99
Computational Calculus
$34.99
Trkische Lehrkrfte der ersten Stunde
$49.99
Copyright and Popular Media
$54.99
Die Fachwrter der Anatomie, Histologie und Embryologie
$64.99
Autonome Produktion
$79.99
Transfer of Radionuclides in Natural and Semi-Natural Environments
$329.99
Atmosphre und Umwelt
$49.99
The Formation of the Swiss Hospital System (18401960)
$169.99
Infinite Dimensional Analysis
$109.99
Recent Progress and Modern Challenges in Applied Mathematics, Modeling and Computational Science
$89.00
Berechnung Gewlbter Bden
$59.99
sthetische Erfahrung und gesellschaftliches System
$39.99
Aid, Growth and Poverty
$54.99
The Political Appropriation of the Muslim Body
$109.00
Einfhrung in soziologische Theorien der Gegenwart
$24.99
Atlas der Anatomie des Menschen
$44.99
Ein Querschnitt Durch die Arbeit der Tbinger Nervenklinik
$59.99
Spielbaum-Suchverfahren
$59.99
Numerical Simulation of Mechatronic Sensors and Actuators
$199.99
Engagierte Beweglichkeit
$59.99
Barnes & Noble Fate Be Changed: A Twisted Tale by Farrah Rochon
$18.99
Taste of Home What Can I Bring?- 360+ Dishes for Parties, Picnics & Potlucks by Taste of Home
$19.99
Adrenal and Endocrine Tumors in Children
$219.99
European Public Diplomacy
$54.99
Translation Strategies in Global News
$54.99
Gender and HIV in South Africa
$79.99
Obstetrics Essentials
$109.99
