Items related to Resolution Proof Systems: An Algebraic Theory (Automated...
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1996
- ISBN 10 0792340175
- ISBN 13 9780792340171
- BindingHardcover
- LanguageEnglish
- Number of pages224
Search results for Resolution Proof Systems: An Algebraic Theory (Automated...
Stock Image
Resolution Proof Systems: An Algebraic Theory
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-595-509
Quantity: 1 available
Stock Image
Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series, 4)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190182155
Quantity: Over 20 available
Seller Image
Resolution Proof Systems. An Algebraic Theory.
Published by
Dordrecht, Springer Netherlands, 1996
ISBN 10: 0792340175
ISBN 13: 9780792340171
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. 216 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780792340171 Sprache: Englisch Gewicht in Gramm: 900. Seller Inventory # 2351486
Quantity: 1 available
Stock Image
Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series, 4)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780792340171_new
Quantity: Over 20 available
Seller Image
Resolution Proof Systems
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 proo. Seller Inventory # 5967755
Quantity: Over 20 available
Seller Image
Resolution Proof Systems : An Algebraic Theory
Published by
Springer Netherlands, Springer Netherlands, 1996
ISBN 10: 0792340175
ISBN 13: 9780792340171
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9780792340171
Quantity: 1 available
Stock Image
Resolution Proof Systems: An Algebraic Theory
Print on DemandSeller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 528. Seller Inventory # C9780792340171
Quantity: Over 20 available
Seller Image
Resolution Proof Systems
Published by
Springer Netherlands Apr 1996, 1996
ISBN 10: 0792340175
ISBN 13: 9780792340171
New
Buch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 228 pp. Englisch. Seller Inventory # 9780792340171
Quantity: 2 available
Stock Image
Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series, 4)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA77307923401756
Quantity: 1 available