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
Decision Support Systems IV - Information and Knowledge Management in Decision Processes
$44.99
Treatment of Contaminated Soil
$379.99
Modelle und Verfahren zur innerbetrieblichen Standortplanung
$59.99
Elements of the General Theory of Optimal Algorithms
$159.99
Database Systems for Advanced Applications
$119.99
Proceedings of the 2002 Academy of Marketing Science (AMS) Annual Conference
$84.99
Fehlertolerantes Przisionsfgen
$84.99
Understanding Chinas Belt and Road Initiative
$59.99
Making Sense of Quantum Mechanics
$69.99
Theoretical Femtosecond Physics
$159.00
Rntgenfibel
$149.99
Die elektrische Futterkonservierung
$59.99
Besteuerung der betrieblichen Altersversorgung in Europa
$74.99
Developmental Local Governance
$84.99
An Introduction to Linguistics through Popular Music
$49.99
Scherzkommunikation
$59.99
Nanotherapy for Brain Tumor Drug Delivery
$169.99
Kreditwrdigkeitsprfung mittelstndischer Unternehmen
$44.99
Lung Disease in Rheumatoid Arthritis
$99.99
International Handbook for Policy Research on School-Based Counseling
$219.00
rike-Handbuch
$29.99
Optimum Cooling of Data Centers
$84.99
Die Europisierung des deutschen Bilanzrechts
$59.99
Politics and Beauty in America
$39.99
Insectlopedia
$5.96
Progress in Motor Control
$249.99
Outline of Complex Systems Management Theory Based on Irreversibility of Reductionism Thinking
$149.99
ber Form und Struktur Geometrie in Gestaltungsprozessen
$64.99
Eurographics Tutorials 83
$54.99
Mapping of Parent Hamiltonians
$129.00
Embryonic Stem Cell Protocols
$129.00
Microbial Enzymes and Biotechniques
$109.99
Art and the Form of Life
$69.99
Atlas optischer Erscheinungen / Atlas de phnomnes doptique / Atlas of optical phenomena
$54.99
Die chemische Erforschung der Naturfarbstoffe
$59.99
Management of Heart Failure
$109.99
Strong and Weak Topology Probed by Surface Science
$54.99
Emerging Federal Structures in the Post-Cold War Era
$159.99
The Physical Basis of Thermodynamics
$169.99
Human Behavior Analysis: Sensing and Understanding
$109.00
