Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Term Indexing

Term Indexing

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540610403
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$54.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

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