中科院-程序理论

上传：baishunkm 浏览： 44 推荐： 0 文件：PDF 大小：4.78MB 上传时间：2019-02-14 21:20:25 版权申诉

国科大数理逻辑与程序理论的后半部分-程序理论讲义，詹乃军老师的课程可以参考