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

Data Engineering in Medical Imaging

$169.99

Optics of Corpuscles / Korpuskularoptik

$39.99

Elementare Teilchenphysik

$59.99

Identification Methods for Structural Health Monitoring

$84.99

Creativity and Innovation in the Music Industry

$129.00

Computer-Aided Design of User Interfaces IV

$219.99

Vehicle Vibrations

$119.99

New Developments in Dietary Fiber

$39.99

Higher Education and First-Generation Students

$99.99

Human Aspects of IT for the Aged Population

$79.99

Amerikanische und deutsche Grodampfkessel

$59.99

Country Experiences in Economic Development, Management and Entrepreneurship

$219.99

Lebenslaufanalysen

$49.99

Asymmetric Monetary Transmission in Europe

$84.99

Logistische Budgetierung

$39.99

Psychiatric Diagnosis

$169.99

Linguistisches Identity Matching

$9.99

Die Werttheorien. Geschichte und Kritik

$119.99

Afghanistan und die Taliban

$17.99

The Symbol of the Soul from Holderlin to Yeats

$169.99

Drinking Behavior

$54.99

Middle Class Culture in the Nineteenth Century

$54.99

Electronic Structure of Polymers and Molecular Crystals

$39.99

Contraception Research for Today and the Nineties

$109.99

International Theory

$59.99

Digital Transformation in Journalism and News Media

$199.99

Windeinwirkung auf Brcken

$54.99

IT Convergence and Security

$54.99

Russia's Turn to the East

$31.00

Unternehmensforschung im Bergbau

$44.99

Halal Slaughter of Livestock: Animal Welfare Science, History and Politics of Religious Slaughter

$129.99

Multimedia, Hypermedia, and Virtual Reality: Models, Systems, and Applications

$39.99

Exchange Rate Forecasting: Techniques and Applications

$169.00

Performance Modeling, Loss Networks, and Statistical Multiplexing

$99.99

Computational Approaches for Urban Environments

$109.99

Lern- und Leistungsmotivation

$39.99

Open Hypermedia Systems and Structural Computing

$39.99

Bullying Prevention and Intervention at School

$139.99

NeuroRadiosurgery: Case Review Atlas

$379.99

Mother Queens and Princely Sons

$54.99