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

Price
HK$ 827
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 21 - 27
Get notified about new Zbigniew Stachniak releases
Add to your iMusic wish list

Not rated yet

Also available as:

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

Mere med samme udgiver