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
Nanotechnology for Biology and Medicine
$169.99
A Handbook of Transcription Factors
$169.00
Zuwanderungspolitik im Nationalstaat
$59.99
Money Illusion and Strategic Complementarity as Causes of Monetary Non-Neutrality
$54.99
Linear Programming Using MATLAB
$169.99
New Technology for Inclusive and Sustainable Growth
$199.99
Service Quality in Indian Hospitals
$54.99
Cellulases
$199.99
Representing the Life and Legacy of Rene de France
$179.99
Android Recipes
$49.99
Plastische Chirurgie der Lider und Chirurgie der Trnenwege
$59.99
Invasive Aquatic Species of Europe. Distribution, Impacts and Management
$219.99
Bau und Eigenschaften der organischen Naturstoffe
$59.99
Elementary Functions
$79.99
Ethnicity and Racism in Cyprus
$54.99
Netzwerke multinationaler Banken
$69.99
Wirbelkristall und Wirbelkanal
$59.99
Kopplungserscheinungen zwischen ferromagnetischen Elementarprozessen
$59.99
Cosmic Plasma
$84.99
Risk Management in Public Health
$169.99
Ultrafast Phenomena X
$109.99
Coral Reefs of the USA
$329.99
Case-based Atlas of Cardiac Imaging
$259.00
Independent Reading Library: Level U (45 Books)
$275.00
Ausgewhlte Chirurgisch-Klinische Krankheitsbilder
$59.99
Vernacular and Latin Literary Discourses of the Muslim Other in Medieval Germany
$39.99
Staatliche Institutionenbildung in Ostdeutschland
$59.99
American Studies after Postmodernism
$129.00
Value Chains in Sub-Saharan Africa
$109.99
Advances in Biological Treatment of Lignocellulosic Materials
$219.99
Defiant Dictatorships
$39.99
Telegraphie und Telephonie ohne Draht
$84.99
Kleist-Jahrbuch 2016
$39.99
New Advanced GNSS and 3D Spatial Techniques
$249.99
Optimal Design of Flexible Manufacturing Systems
$54.99
Topology and Geometry for Physics
$64.99
Die Universitt als Akteur
$49.99
Hilbert's Seventh Problem
$49.99
Adolescent Pregnancy and Parenting
$79.99
Simulation Tools and Techniques
$84.99
