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:
Buy Term Indexing for $54.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$54.99 | 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
Antimutagenesis and Anticarcinogenesis Mechanisms III
$39.99
Advanced Robotics for Medical Rehabilitation
$109.99
Sustainable Food Innovation
$169.99
Domestic Violence in the Anglophone Caribbean
$119.00
Paint By Sticker: Travel
$11.57
Swing, Swing, Swing
$4.50
Acquired Brain Injury
$54.99
Cryptography and Coding
$64.99
Assembly Line Balancing under Uncertain Task Time and Demand Volatility
$84.99
Einstein and Heisenberg
$44.99
Endliche Krper
$19.99
Religion, Reason and Nature in Early Modern Europe
$109.99
Erfolgreiches Markenmanagement
$59.99
Digital Technologies and Transformation in Business, Industry and Organizations
$129.00
The Politics of Public Sector Reform
$39.99
Accelerated Land Reform, Mining, Growth, Unemployment and Inequality in South Africa
$54.99
DNA and RNA Profiling in Human Blood
$119.00
Untersuchung des Klopfverhaltens methanbasierter Kraftstoffe
$49.99
Towards Next Generation Grids
$169.99
Stabilitt und Wandel von Parteien und Parteiensystemen
$69.99
Elemental Methods in Ergodic Ramsey Theory
$34.99
Cerebral Angiogenesis
$169.99
Regional Integration, Development, and Governance in Mesoamerica
$39.99
Reclaiming the Night-Time Economy
$109.99
Atlantic Water in the Nordic Seas
$109.99
Perceptual Issues in Visualization
$109.99
Computational Techniques for Structural Health Monitoring
$169.99
Oracle WebLogic Server 12c Administration I Exam 1Z0-133
$79.99
Clinical Management of Renal Transplantation
$219.99
Privatisation in Transforming and Developing Economies
$49.99
Kortewegde Vries Flows with General Initial Conditions
$129.99
Carbon Composite Catalysts
$169.99
Intelligence of Things: AI-IoT Based Critical-Applications and Innovations
$169.99
New Directions in Paraconsistent Logic
$169.99
Probiotics in Pediatric Medicine
$169.99
Die persuasive Wirkung von anekdotischen und statistischen Botschaften im Sozialmarketing
$74.99
My First I Can Read! - Duck, Duck, Dinosaur: Spring Smiles
$4.46
The Room on Rue Amelie by Kristin Harmel
$18.99
Their World: A Diversity of Microbial Environments
$169.99
Quantum Interaction
$49.99
