文件名称：Handbook of Practical Logic and Automated Reasoning
文件大小：3.12MB
文件格式：PDF
更新时间：2013-01-24 14:47:51
mathematical logic, automated reasoning
This book is about computer programs that can perfrom automated reasoning.
Handbook of Practical Logic and Automated Reasoning
【文件属性】：