Resolution Proof Systems Image close
Resolution Proof Systems by Z. Stachniak
Resolution Proof Systems by Z. Stachniak
Show Hide Adult Content
Resolution Proof Systems close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Resolution Proof Systems

An Algebraic Theory
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$290.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $72.50 with Afterpay Learn more

6 weekly interest-free payments of $48.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-28 June using International Courier

Explore more Automated Reasoning Series

See all products in this series

Resolution Proof Systems on Hardback by Z. Stachniak
$292.00
Resolution Proof Systems
by Z. Stachniak ~ Hardback
Available - Usually ships in 3-4 weeks
Automated Development of Fundamental Mathematical Theories on Hardback by Art Quaife
$576.00
Automated Development of Fundamental Mathematical Theories
by Art Quaife ~ Hardback
Available - Usually ships in 3-4 weeks
Automated Reasoning
$294.00
Automated Reasoning
Paperback / softback
Available - Usually ships in 3-4 weeks
Piton by J.Strother Moore
$152.00
Piton
by J.Strother Moore ~ Paperback / softback
Available - Usually ships in 3-4 weeks

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.
Release date NZ
October 1st, 2011
Author
Audience
  • Professional & Vocational
Edition
Softcover reprint of the original 1st ed. 1996
Illustrations
XVI, 208 p.
Pages
208
Dimensions
160x240x12
ISBN-13
9789401072519
Product ID
20767933

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Mathematics for scientists & engineers
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence