Automated Theorem Proving: Theory and Practice, (Paperback)
Automated Theorem Proving: Theory and Practice, (Paperback) Author: Springer ISBN: 9781461265191 Format: Paperback Publication Date: 2013-05-24 Page Count: 231
Shipping & Returns
Shipping & Returns

Price unavailable
Automated Theorem Proving: Theory and Practice, (Paperback)—
$209.00






