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

The Resolution Calculus

The Resolution Calculus

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

The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. The challenge of this course (a total of five two-hour lectures) con sisted in the selection of the topics to be presented. Clearly the first selection has already been made by calling the course "resolution theorem proving" instead of "automated deduction" . In the latter discipline a remarkable body of knowledge has been created during the last 35 years, which hardly can be presented exhaustively, deeply and uniformly at the same time. In this situ ation one has to make a choice between a survey and a detailed presentation with a more limited scope. The author decided for the second alternative, but does not suggest that the other is less valuable. Today resolution is only one among several calculi in computational logic and automated reasoning. How ever, this does not imply that resolution is no longer up to date or its potential exhausted. Indeed the loss of the "monopoly" is compensated by new appli cations and new points of view. It was the purpose of the course mentioned above to present such new developments of resolution theory. Thus besides the traditional topics of completeness of refinements and redundancy, aspects of termination (resolution decision procedures) and of complexity are treated on an equal basis.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

J2EE Performance Testing with BEA WebLogic Server

$49.99

Spotlight on... Literary Elements

$63.74

Semantics in Data and Knowledge Bases

$49.99

Nuclear Magnetic Resonance of Liquid Crystals

$39.99

Spatial Behavior in Haredi Jewish Communities in Great Britain

$109.00

Russisches und Orientalisches Eherecht

$54.99

Aufbau der Geometrie aus dem Spiegelungsbegriff

$54.99

Light Scattering Reviews 3

$129.00

Proceedings of the 8th International Conference on the Applications of Science and Mathematics

$249.99

Advanced Abnormal Psychology

$39.99

Stochastic Processes - Inference Theory

$109.99

Baby-Sitters on Board! (The Baby-Sitters Club: Super Special #1)

$6.74

Literature and Religion in Mid-Victorian England

$39.99

The Palgrave Handbook of New Directions in Kashmir Studies

$249.99

Nature of Science in General Chemistry Textbooks

$49.95

Clinical Strategies in the Management of Diabetic Retinopathy

$89.99

Human - Wildlife Conflicts in Europe

$179.99

Crime and Music

$179.99

HCI and Usability for Medicine and Health Care

$39.99

HIV und AIDS

$89.99

Methods in Neuroethological Research

$169.99

Nhrwerttafel

$54.99

Electronic Banking im Vertrieb

$69.99

Grundlagen der Leistungselektronik

$49.99

Soziale Kosten des Energieverbrauchs

$59.99

The Theory of Lexical Phonology

$54.99

Synergiemanagement und Akquisitionserfolg

$59.99

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

$129.00

Struggles for Climate Justice

$84.99

Der Einflu des Blechwerkstoffes und der Verzinkungsbedingungen auf die Eigenschaften verzinkter Ble

$59.99

Immigrant Teachers, American Students

$54.99

Operative Frakturenbehandlung

$59.99

The Greek Economy

$84.99

Spine Pain Care

$249.99

Performance Optimization of Fault Diagnosis Methods for Power Systems

$109.99

Erfolgreiche Interne Kommunikation im Digital Workplace

$17.99

Arbeiterklasse oder Arbeitnehmer?

$69.99

Vegetation Science in Forestry

$219.99

Functional Reconstruction of the Mandible

$84.99

Vertrauen im interkulturellen Kontext

$69.99