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
Artificial Neural Networks and Neural Information Processing ICANN/ICONIP 2003
$39.99
Colloids for Nano- and Biotechnology
$219.99
X- and Gamma-Ray Astronomy
$54.99
Immer schn (erfolg)reich bleiben!
$24.99
Handbuch Biographieforschung
$109.00
Presbyvertigo Presbyataxie Presbytinnitus
$69.99
Ethical Issues in International Communication
$54.99
Information Systems Analysis and Modeling
$169.99
Proceedings of the 7th Indian Young Geotechnical Engineers Conference
$189.00
Advances in the Control of Theileriosis
$169.00
Multi-Photon Quantum Interference
$129.00
Pregnancy with Artificial Intelligence
$199.99
Machine Vision and Navigation
$229.00
Discovery Science
$54.99
Saving for Development
$23.00
Finanzierung und Beratung junger Start-up-Unternehmen
$69.99
Mathematikunterricht in der Praxis
$24.99
Drugs, Violence and Latin America
$79.99
Religion and Sexual Health:
$199.99
Quantum Physics
$109.99
Wege aus der Armut fr Alleinerziehende
$59.99
Missionaries in the Golden Age of Hollywood
$139.99
The Social and Human Sciences in Global Power Relations
$129.00
Space Resource Utilization: A View from an Emerging Space Faring Nation
$129.00
Die Unternehmensverfassung von Beteiligungskapital-Gesellschaften
$59.99
Innovationsfhigkeit durch Reflexivitt
$44.99
Approximation Theorems in Commutative Algebra
$109.99
Multiscale and Multiphysics Processes in Geomechanics
$169.99
Herpesvirus Diseases of Cattle, Horses, and Pigs
$169.99
Konrad Morgen
$44.99
Theory of Gyroscopic Effects for Rotating Objects
$109.00
India and Europe in a Changing World
$129.99
Influencer-Marketing
$79.99
Methoden zur Bestimmung der Ausfallraten von elektrischen und elektronischen Systemen am Beispiel de
$49.99
The State Debate
$119.99
Festschrift David Hilbert zu Seinem Sechzigsten Geburtstag am 23. Januar 1922
$69.99
Party Formation and Democratic Transition in Spain
$109.99
Classical Lie Algebras at Infinity
$99.00
Interaction-induced Electric Properties of van der Waals Complexes
$54.99
Dynamic Games in Economics
$109.99
