Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Resolution Proof Systems

Name: Resolution Proof Systems
Brand: Springer
SKU: 06624280
Price: 39688 HUF
Availability: InStock
Author: Zbigniew Stachniak
ISBN: 9789401072519

An Algebraic Theory

Zbigniew Stachniak

Language

English

Book Paperback

Libristo code: 06624280

Publishers Springer, October 2011

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and... Full description

Libristo code: 06624280

271 b

39 688 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Gesammelte Aufsätze, Band 1 Karl Kraus

Paperback

5 260 Ft

Teoria de Reactores Nucleares Héctor René Vega-Carrillo

Paperback

16 972 Ft

Sophie Charlotte, Die Philosophische Konigin V2 (1857) Julius Bacher

Paperback

11 005 Ft

Un corazón lleno de estrellas ALEX ROVIRA

Paperback

4 835 Ft

Neues aus Thedos Küche Gerhard Hoppmann

Paperback

1 729 Ft

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.