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

- 对程序进行推理的逻辑计算机科学导论第二讲 - 目录 - contents - 引言逻辑基础程序中的逻辑程序推理技术逻辑在程