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
Zinc Signaling
$169.99
Qualitative Research in Applied Linguistics
$179.99
Die Strukturierung von Kufer-Produkt-Beziehungen mit Hilfe der allgemeinen Komponentenanalyse
$59.99
Sustainable Technologies for Nearly Zero Energy Buildings
$149.00
Spirits of the Tarot- From The Cups' Abundance to The Magician's Creation, 78 Cocktail Recipes Inspired by the Tarot by Thea Engst
$18.99
Parabolic Trough Solar Collectors
$119.99
Metaphors: Figures of the Mind
$109.99
Robotics Research
$169.00
Complex Event Processing
$17.99
Theory and Applications of Satisfiability Testing SAT 2019
$39.99
and E-Band Communication Circuits in Deep-Scaled CMOS
$99.00
Soviet Foreign Policy Towards Egypt
$44.99
Vergleichende Untersuchungen zweier neuzeitlicher Ungleichmigkeitsprfer fr Bnder und Garne hins
$59.99
Approximation und Nichtlineare Optimierung in Praxisaufgaben
$19.99
Mathmatique, Structuralisme et Transdisciplinarit
$54.99
Discrete Representation of Spatial Objects in Computer Vision
$109.99
Time Series Econometrics
$139.99
Mastering Media with the Raspberry Pi
$37.99
The State Economic Handbook 2010
$109.99
Practical Sitecore 8 Configuration and Strategy
$54.99
Melanoma Antigens and Antibodies
$39.99
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems X
$59.99
VIII International Scientific Siberian Transport Forum
$169.00
An Anthropology of Services
$27.99
Computer Vision - ECCV 2014 Workshops
$54.99
Ming Lo Moves the Mountain
$7.46
Ethik im Weltkontext
$74.99
Reliance on Foreign Markets: Multinationality and Performance
$54.99
Literaturen der Welt in deutscher bersetzung
$59.99
The knowledge of experience
$54.99
Organisationen digital und resilient transformieren
$17.99
Inclusive Innovation
$39.99
Worlds Apart
$109.99
Erbbiologie und Erbpathologie Nervser und Psychischer ustnde und Funktionen
$59.99
Spatial Stochastic Processes
$109.99
Biscuit-My First I Can Read!: Biscuit and the Lost Teddy Bear
$4.46
Mitigation of Negative Impedance Instabilities in DC Distribution Systems
$54.99
Freiwillige Gerichtsbarkeit und Notarrecht
$59.99
Humanistic Crisis Management
$199.99
Decision and Game Theory for Security
$39.99
