中科院-程序理论

【文件属性】：

文件名称：中科院-程序理论

文件大小：4.78MB

文件格式：PDF

更新时间：2022-01-30 03:01:07

中科院 国科大 程序理论

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