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
Bergsons Philosophy of Self-Overcoming
$69.99
The Institutional Foundations of East Asian Economic Development
$169.99
Simultaneous Switching Noise of CMOS Devices and Systems
$109.99
Hidradenitis Suppurativa
$79.99
Materials Characterization for Systems Performance and Reliability
$84.99
The Internationalization of German Software-based Companies
$54.99
User Interface Design of Digital Textbooks
$39.99
Information Technology in Bio- and Medical Informatics
$44.99
Atlas of Cardiovascular Pathology for the Clinician
$169.99
Electronic Government and the Information Systems Perspective
$64.99
Luftfahrtrecht
$59.99
Personalarbeit - Markenzeichen eines jeden Unternehmens
$34.99
Modelling and Forecasting High Frequency Financial Data
$84.99
Fuzzy Mathematical Analysis and Advances in Computational Mathematics
$149.00
Biobetters
$169.99
Die Schwefelsurefabrikation
$59.99
The Theory of Nilpotent Groups
$129.99
Business Process Management
$54.99
The Logic of Time
$169.99
Fiskalpolitik in der Europischen Whrungsunion
$59.99
Der Christ und der Staat
$59.99
Ophthalmic Ultrasonography and Ultrasound Biomicroscopy
$69.99
Responsible Innovation
$59.99
Digitale Geschftsagenten
$59.99
Women and Finance in Africa
$159.99
Mathematics and Culture I
$54.99
Macular Dystrophies
$119.00
Economic and Political Impediments to Middle East Peace
$54.99
Scholastic Reader! Level 1-I Spy: I Spy A Skeleton
$2.99
Die Geschichte des Priorittsstreits zwischen Leibniz and Newton
$64.99
JIMD Reports Volume 16
$54.99
The Economic Metabolism
$109.99
The First Humans
$159.99
Interfacing PIC Microcontrollers to Peripherial Devices
$109.99
Legitimizing European Criminal Law
$159.99
Sex as Work
$129.99
Pricing Derivatives Under Lvy Models
$69.99
Advanced Video-Based Surveillance Systems
$109.99
Deep Learning for Cancer Diagnosis
$159.99
Biochemical Studies of CNS Receptors
$109.99
