Copied Term Indexing
Term Indexing
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.
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 |
Reviews
Questions & Answers
Human Capital and Innovation
$119.99
Aortic Root Surgery
$109.00
The Universe
$79.99
Handbuch Netzwerkforschung
$139.00
Kostentheoretische Analyse des Modells der optimalen Bestellmenge
$69.99
Medicinal and Aromatic Plants of North America
$179.99
Risk Sharing, Risk Spreading and Efficient Regulation
$39.99
Elemente der Sechsten Gruppe
$79.99
The China-Pakistan Economic Corridor of the Belt and Road Initiative
$129.99
Hope and Heresy
$89.00
Hierarchy in Natural and Social Sciences
$84.99
Zur Bedeutung sthetischer Praxis in Biografien
$74.99
25 Years of p53 Research
$169.99
A Practical Introduction to Hardware/Software Codesign
$59.99
The Black Dancing Body
$84.99
Digital Twin Development
$79.99
Repetitorium der Betriebswirtschaftslehre
$54.99
Theory of Satellite Geodesy and Gravity Field Determination
$39.99
Imagine Math 2
$54.99
Transcending Postmodernism
$54.99
Gender Trouble and Current Archaeological Debates
$139.99
Kirchenasyl in der Bundesrepublik Deutschland
$64.99
Korea
$18.66
Nutrient Dynamics for Sustainable Crop Production
$169.99
Coma and Disorders of Consciousness
$84.99
Rarer Arthropathies
$139.99
Theoretical and Experimental Sonochemistry Involving Inorganic Systems
$129.00
Can You See What I See? Cool Collections (Hardcover)
$10.49
Reinventing Fashion Retailing
$49.99
Farbatlas der Histologie der Regenbogenforelle
$59.99
New Concepts in Pathology and Treatment of Autoimmune Disorders
$109.99
Data Dissemination and Query in Mobile Social Networks
$39.95
Alcohol Intoxication and Withdrawal - IIIb
$39.99
Opferorientierung im Strafvollzug
$109.00
Understanding and Controlling the Irritable Bowel
$32.99
Modeling and IPC Control of Interactive Mechanical Systems - A Coordinate-Free Approach
$129.00
Catalysis
$84.99
Persons in Love
$109.99
Hydraulic Control Systems Design and Analysis of Their Dynamics
$84.99
Perspectives on Pornography
$27.99
