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
ICCCE 2019
$219.99
The Geography of Contemporary China
$109.99
DEFINITE DEcisions on a FINITE set of alternatives
$74.99
XV International Scientific Conference INTERAGROMASH 2022
$299.99
Current Management of Venous Diseases
$219.99
Stadtgeographie
$39.99
Geographical Perspectives on International Trade
$59.99
uren-Baen-Hauhalt
$64.99
Pharmacology of GABA and Glycine Neurotransmission
$39.99
Recent Trends in Data Type Specification
$39.99
Zur Pathologie und Therapie des Menschlichen dems Zugleich ein Beitrag zur Lehre von der Schilddrs
$59.99
Human Rights Struggles in Twentieth-century France
$109.99
Processes in GeoMediaVolume VIII
$119.00
The Structure of International Conflict
$54.99
Thermo- and Fluid Dynamic Processes in Diesel Engines 2
$329.99
Red-Eyed Tree Frog
$5.99
Knstliche Intelligenz im Dienstleistungsmanagement
$149.99
Digital Cities: The Interdisciplinary Future of the Urban Geo-Humanities
$39.99
Architectural Space and the Imagination
$89.00
New Advances in Legal Translation and Interpreting
$99.00
PISA
$109.99
Biometric Authentication
$39.99
Applications of Density Functional Theory to Chemical Reactivity
$219.99
Pesticide Law and Compliance Decision Making
$84.99
The Unilateral Presidency and the News Media
$54.99
Theopoetics of the Word
$54.99
Introduction to Modified Gravity
$39.99
Multi-Agent-Based Simulation
$39.99
Produktion - Distribution - Konsum
$84.99
Text, Speech, and Dialogue
$54.99
Assessment of Depression
$84.99
Hochschulkarrieren in Deutschland und Skandinavien
$59.99
Almost Super by Marion Jensen
$9.99
Weitere Kniffe und Programme mit dem ZX Spectrum
$49.99
Public Sector Enterprises in India
$109.99
Proceedings of 3rd 2023 International Conference on Autonomous Unmanned Systems (3rd ICAUS 2023)
$299.99
Statistische Methoden
$49.99
Literature, Metaphor and the Foreign Language Learner
$54.99
Organisationen in der Weiterbildung
$49.99
Hefe und Alkohol sowie andere Grungsprodukte
$54.99
