文件名称：Automated Theorem Proving
文件大小：586KB
文件格式：PDF
更新时间：2013-11-24 16:07:22
Automated Theorem Proving
Material for the course Automated Theorem Proving at Carnegie Mellon University, Fall 1999, revised Spring 2004. This includes revised excerpts from the course notes on Linear Logic (Spring 1998) and Computation and Deduction (Spring 1997). Material