Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Books - Kluwer Academic Publishers - 9780792340171 - April 30, 1996
In case cover and title do not match, the title is correct

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

Zbigniew Stachniak

Price
CA$ 172.49

Ordered from remote warehouse

Expected delivery Dec 12 - 25
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.

208 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 30, 1996
ISBN13 9780792340171
Publishers Kluwer Academic Publishers
Pages 208
Dimensions 156 × 234 × 14 mm   ·   498 g
Language English  
Show all

More by Zbigniew Stachniak

See all of Zbigniew Stachniak ( e.g. Hardcover Book and Paperback Book )