登录
注册
豆瓣社区
豆瓣读书
豆瓣电影
豆瓣音乐
豆瓣同城
豆瓣FM
更多
九点
阿尔法城
分类浏览
阅读
作者
书评
购书单
推荐面向计算机科学的数理逻辑系统建模与推理的豆列
计算机系学生的数学书架
(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更新
>
去 面向计算机科学的数理逻辑系统建模与推理 的页面