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

Free Trade or Protection?

$84.99

Scientific Issues in Quantitative Cancer Risk Assessment

$54.99

The Innovative CIO

$59.99

Constitutional Political Economy in a Public Choice Perspective

$129.00

Infektionskrankheiten

$69.99

Science Awakening II

$219.99

Political Economy of Soviet Military Power

$44.99

Scaling Limits and Models in Physical Processes

$49.95

Principles and Applications of Up-converting Phosphor Technology

$84.99

Progress of Lens Biochemistry Research Volume in honour of Prof. Dr. med. J. Nordmann

$54.99

Vernetztes Wissen

$79.99

Medical Persuasion

$159.99

Lsungsorientierte Kurzberatung

$69.99

Manufacturing Systems

$74.99

Untersuchungen ber Widerstandsrauschen

$54.99

Cultivating Learning within Projects

$109.99

Ireland, Open Economies and European Integration

$69.99

Pharmacology of Ganglionic Transmission

$84.99

Aufarbeitung von Kupferendelektrolyten durch Dialyse und Elektrodialyse

$59.99

Der Experimentator: Molekularbiologie / Genomics

$29.99

Medullary Thyroid Carcinoma

$109.99

Die Infektion der Brandwunde

$69.99

Laser Power Stabilization via Radiation Pressure

$179.99

Ending a Career in the Auto Industry

$39.99

My Cats

$3.71

Arbeiten aus dem Elektrotechnischen Institut der Technischen Hochschule Aachen

$49.99

Die Bestimmung des Molekulargewichts in theoretischer und praktischer Beziehung

$84.99

The Resurgence of Parish Council Powers in England

$49.99

Charting Spiritual Care

$49.99

Freiheit und geplante Demokratie

$59.99

Log Hotel

$4.50

Terahertz Techniques

$109.99

Advances in Computer Games

$79.99

A History of the United Nations

$169.00

rchen

$19.99

Genesis and Propagation of Cosmic Rays

$169.00

Peter the Great and the West

$109.99

Cell Injury and Protection in the Gastrointestinal Tract

$39.99

Global Education in Bioethics

$159.99

The Zombie Renaissance in Popular Culture

$39.99