电子书百科大全Handbook of Practical Logic and Automated Reasoning
Author: Harrison, John
Get this book Contact Email: girro@qq.com
Hardcover: 703 pages
Publisher: Cambridge University Press( March 12, 2009 )
ISBN-10: 0521899575
未经允许不得转载：电子书百科大全 » Handbook of Practical Logic and Automated Reasoning