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
Íkr 13,229
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 30 - Jul 8
Add to your iMusic wish list

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