想读"数理逻辑与机器证明"的豆瓣成员

2人参与评价  · · · · · ·

力荐
50.0%
推荐
0.0%
还行
50.0%
较差
0.0%
很差
0.0%

每周参与评价的人数(最近3个月内)

2人读过 0人在读 15人想读
bnxkhvs

2018-12-19

蒲伏

2018-04-17

昳晔

2018-02-07

Regzr

2017-03-06      tags: 数理逻辑 机器证明

Help!无极水

2015-09-08      tags: 数理逻辑

乌啦啦啦

2015-03-26      tags: 数学 pl 计算机

光明

2014-05-28      tags: 数理逻辑5

xiaowang

2012-09-12      tags: jiqizhengming

123

答案风中飘扬

2012-02-19

Ekayana

2011-10-12      tags: 数理逻辑 机械化

huangwei0900

2011-07-04

john9

2010-05-11

十二晨

2009-06-11

bresiva

2008-06-07

洪谦

2008-01-01

数理逻辑与机器证明
作者: 陆钟万
副标题: 计算机科学丛书
isbn: 9787030019196
书名: 数理逻辑与机器证明
页数: 186
定价: 5.00元
出版社: 科学出版社
装帧: 32开平装
出版年: 1983年11月

去"数理逻辑与机器证明"的页面