Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Resolution Proof Systems - An Algebraic Theory (Paperback, Softcover reprint of the original 1st ed. 1996)
Loot Price: R2,986
Discovery Miles 29 860
|
|
Resolution Proof Systems - An Algebraic Theory (Paperback, Softcover reprint of the original 1st ed. 1996)
Series: Automated Reasoning Series, 4
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.