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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Applications  
Artificial intelligence

Resolution Proof Systems

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

By:

Format:

Hardback
$262.99
RRP:
$327.95 save $64.96
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

Buy Now, Pay Later with:

4 payments of $65.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 27 Jun - 9 Jul using International Courier

Explore more Automated Reasoning Series

See all products in this series

Piton by J.Strother Moore Save $50
$136.99
$187.95
Piton
by J.Strother Moore ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Automated Reasoning
$263.99
Automated Reasoning
Paperback / softback
Available - Usually ships in 3-4 weeks
Resolution Proof Systems by Z. Stachniak Save $66
$260.99
$327.95
Resolution Proof Systems
by Z. Stachniak ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Automated Development of Fundamental Mathematical Theories on Hardback by Art Quaife
$517.99
Automated Development of Fundamental Mathematical Theories
by Art Quaife ~ Hardback
Available - Usually ships in 3-4 weeks

Description

This text 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 Australia
April 30th, 1996
Author
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
XVI, 208 p.
Pages
208
Dimensions
156x234x14
ISBN-13
9780792340171
Product ID
2051398

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 >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence