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

Resolution Proof Systems

Resolution Proof Systems

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

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems of proof theory, representation and efficiency of the deductive process. A new class of logical calculi, the class of resolution logics, emerges as a second theme of the book. The logical and computational aspects of the relationship between resolution logics and resolution proof systems is explored in the context of monotonic as well as nonmonotonic reasoning. This book is aimed primarily at researchers and graduate students in artificial intelligence, symbolic and computational logic. The material is suitable as a reference book for researchers and as a text book for graduate courses on the theoretical aspects of automated reasoning and computational logic.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Electronic Equipment Packaging Technology

$84.99

Contemporary U.S. Latino/ A Literary Criticism

$54.99

Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops

$129.99

Probability and Statistical Models in Operations Research, Computer and Management Sciences

$149.00

Die Berechnung von Gleitfliegern

$54.99

Ethical Research with Children

$54.99

Rechenmethoden der Quantentheorie

$49.99

Theorien der Unterentwicklung und Entwicklungsstrategien

$59.99

Verhandlungen der Schweizerischen Gesellschaft fr Gynkologie und Geburtshilfe

$59.99

Cultural Sustainability and Arts Education

$159.99

Smile: Guts

$9.74

Plant Structural Biology: Hormonal Regulations

$99.00

European Emigration Overseas Past and Future

$54.99

Informatics in Control, Automation and Robotics

$129.00

Light, Water, Hydrogen

$129.00

Green Civilization

$84.99

Tyranny from Ancient Greece to Renaissance France

$54.99

The Yangtze River Delta

$54.99

Dynamical Processes and Ordering on Solid Surfaces

$84.99

Der Signalnavigator

$49.99

Physics of Polymer Networks

$129.00

Corporate Governance

$54.99

Ecosystem Services and River Basin Ecohydrology

$169.99

Heart Failure and Arrhythmias

$84.99

Becoming a Good Neighbor among Dictators

$69.99

Mathematische Routinen der Physik, Chemie und Technik fr AOS-Rechner

$59.99

Psychologie fr Erziehungswissenschaften und Soziale Arbeit

$29.99

Computer-Based Automation

$39.99

State-of-the-Art and Innovations in Mechanism and Machine Science

$119.00

Computer Vision ECCV 2020 Workshops

$109.99

Cognitive and Rational-Emotive Behavior Therapy with Couples

$84.99

Brain Plasticity, Learning, and Memory

$84.99

Residue Reviews

$54.99

Untersuchungen ber die Lslichkeit von Azetylen in verschiedenen organischen Lsungsmitteln

$54.99

Liberalism, Multiculturalism and Toleration

$109.00

Sourcebook of Treatment Programs for Sexual Offenders

$309.00

Ernhrungskommunikation

$99.99

Cancer Mapping

$109.99

Programming for Computations - MATLAB/Octave

$59.99

Climate Change Discourse in China

$89.99