Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Books - Springer - 9789401072519 - October 1, 2011
In case cover and title do not match, the title is correct

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Softcover Reprint of the Original 1st Ed. 1996 edition

Zbigniew Stachniak

Price
Íkr 13,139
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 7 - 15
Add to your iMusic wish list

Also available as:

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Softcover Reprint of the Original 1st Ed. 1996 edition

223 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 1, 2011
ISBN13 9789401072519
Publishers Springer
Pages 208
Dimensions 160 × 240 × 12 mm   ·   326 g

Show all

More by Zbigniew Stachniak