对程序进行推理的逻辑计算机科学导论第二讲课件课件

- 对程序进行推理的逻辑计算机科学导论第二讲 - 计算机科学技术学院陈意云0551-63607043，yiyun@ustc.edu.cnhttp://staff.ustc.ed