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
Advanced Machine Intelligence and Signal Processing
$279.99
An Introduction to Robot Technology
$54.99
Shrinkage Estimation
$119.00
Advances in Cardiac Signal Processing
$169.99
Communication in the Age of Suspicion
$109.99
A Manifesto for Ombudsman Reform
$64.99
Rechtsnorm und sthetische Reflexion
$59.99
Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis
$84.99
Demographic and Socioeconomic Basis of Ethnolinguistics
$84.99
Insect Learning
$219.99
The Persistence of Sail in the Age of Steam
$109.99
Mathematics for Computer Graphics
$49.99
The Art of Clowning
$32.99
Hansen Coefficients in Satellite Orbital Dynamics
$139.99
Remaking Eastern Europe On the Political Economy of Transition
$39.99
Regional Trajectories of Entrepreneurship, Knowledge, and Growth
$109.99
3rd International Winter School and Conference on Network Science
$54.99
Human Factors in Privacy Research
$59.99
Grenzregelung an Werkzeugmaschinen
$69.99
Modes of Irrationality
$109.99
Strategic Organizational Learning
$69.99
Sampling, Wavelets, and Tomography
$109.99
Aspects of Seismic Reflection Data Processing
$169.99
Versuche zur Zerkleinerung und Extraktion von Kohle durch Ultraschall
$49.99
Differential Subject Marking
$219.99
Property Meeting the Challenge of the Commons
$189.00
The Risk of Discrimination in the Digital Market
$39.99
Wissensabhngige Strategiewahl in der Venture-Capital-Industrie
$69.99
Marine Hydrothermal Systems and the Origin of Life
$39.99
Modern Trends in Human Leukemia IX
$109.99
Islamic Finance in Europe
$119.00
Perspectives on Digitally-Mediated Team Learning
$169.99
Complexity, Heterogeneity, and the Methods of Statistical Physics in Economics
$129.99
The Rosetta Stone of the Human Mind
$44.99
Die Bndel-Nagelung
$59.99
The Uses of Reason in the Evaluation of Artworks
$99.99
Asian Pacific Phycology in the 21st Century: Prospects and Challenges
$39.99
Maimonides for Moderns
$84.99
Non-Equilibrium Thermodynamics in Multiphase Flows
$54.99
Communications, Signal Processing, and Systems
$349.00
