登录注册

推荐面向计算机科学的数理逻辑系统建模与推理的豆列

- 计算机系学生的数学书架 (20)
- (来自: 网络流)

- 编程语言理论 (7)
- weiky™创建　2009-07-28 16:22:10更新

- 一些暂时不用的书 - for personal use only (23)
- Ashes of time创建　2010-01-19 01:24:57更新

- 与计算机有关的数学经典教材 (4)
- XY创建　2010-01-29 22:39:02更新

- 需要的数学 (13)
- kevin创建　2010-08-07 17:06:06更新

- Mathematical Logic (3)
- lgarithm创建　2011-06-10 17:51:57更新

- 数学 (3)
- zwx创建　2011-05-24 15:26:37更新

- 计算机书籍 (8)
- 微风的微笑创建　2012-02-09 08:40:09更新

- 知识表示与推理 (3)
- mkii创建　2012-04-06 15:47:34更新

> 去面向计算机科学的数理逻辑系统建模与推理的页面