高阶逻辑辅助证明系统
[德]托比亚斯·尼普科夫、[英]劳伦斯·鲍尔森、[德]玛尔库斯·温泽尔 著；陈光喜、刘卓军 译
北京理工大学出版社
2013-05
九五品
￥96.00
作者：
麓山文化
出版社：
机械工业出版社
ISBN：
9787111680826
出版时间：
2021-06
版次：
1
装帧：
其他
开本：
16开
纸张：
胶版纸
页数：
352页
字数：
543千字
作者：
郭霖 著
出版社：
人民邮电出版社
ISBN：
9787115439789
出版时间：
2016-12
版次：
2
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
570页
字数：
856千字
作者：
邢梦来、王硕、孙洋洋 著
出版社：
电子工业出版社
ISBN：
9787121345647
出版时间：
2018-08
版次：
1
装帧：
平装
开本：
16
纸张：
胶版纸
页数：
232页
作者：
温正 著
出版社：
清华大学出版社
ISBN：
9787302387428
出版时间：
2015-04
版次：
1
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
280页
字数：
725千字
作者：
刘金琨 著
出版社：
电子工业出版社
ISBN：
9787121130496
出版时间：
2011-03
版次：
3
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
462页
字数：
768千字
作者：
Muster
出版社：
清华大学出版社
ISBN：
9787302060932
出版时间：
2003-01
版次：
1
装帧：
平装
开本：
其他
纸张：
其他
页数：
735页
作者：
李挥、陈曦 编
出版社：
科学出版社
ISBN：
9787030262370
出版时间：
2010-01
版次：
1
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
308页
字数：
388千字
作者：
李馨 著
出版社：
西安电子科技大学出版社
ISBN：
9787560616162
出版时间：
2006-01
版次：
1
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
310页
字数：
472千字
作者：
中仿科技公司 编
出版社：
人民交通出版社
ISBN：
9787114068577
出版时间：
2007-09
版次：
1
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
282页
作者：
居玉皓 著
出版社：
机械工业出版社
ISBN：
9787111626312
出版时间：
2019-06
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
180页
作者：
梁旭、黄明 著
出版社：
电子工业出版社
ISBN：
9787121148354
出版时间：
2011-10
版次：
1
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
224页
字数：
251千字
作者：
任润柏、周荔丹、姚钢 著
出版社：
电子工业出版社
ISBN：
9787121113291
出版时间：
2010-07
版次：
1
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
377页
字数：
624千字
作者：
刘浩
出版社：
电子工业出版社
ISBN：
9787121353826
出版时间：
2018-12
版次：
1
装帧：
其他
开本：
128开
纸张：
胶版纸
页数：
560页
作者：
刘浩 著
出版社：
电子工业出版社
ISBN：
9787121300905
出版时间：
2016-12
版次：
01
装帧：
平装
开本：
16开
纸张：
其他
页数：
672页
作者：
[美]梅耶（Scott Meyers） 著；侯捷 译
出版社：
电子工业出版社
ISBN：
9787121123320
出版时间：
2011-01
版次：
3
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
297页
字数：
380千字
作者：
顾经宇 著
出版社：
清华大学出版社
ISBN：
9787302172321
出版时间：
2008-08
版次：
1
装帧：
平装
开本：
16开
纸张：
其他
页数：
325页
作者：
[德]托比亚斯·尼普科夫、[英]劳伦斯·鲍尔森、[德]玛尔库斯·温泽尔 著；陈光喜、刘卓军 译
出版社：
北京理工大学出版社
ISBN：
9787564077631
出版时间：
2013-05
版次：
1
装帧：
精装
开本：
32开
纸张：
胶版纸
页数：
253页
作者：
王建军 著；赵国增、赵国增、王建军 编
出版社：
高等教育出版社
ISBN：
9787040565461
出版时间：
2021-09
版次：
1
装帧：
平装
开本：
16开
页数：
292页
作者：
汤羽、林迪、范爱华、吴薇薇 著
出版社：
清华大学出版社
ISBN：
9787302485865
出版时间：
2018-03
版次：
1
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
485页
字数：
759千字
作者：
林信良 著
出版社：
清华大学出版社
ISBN：
9787302283669
出版时间：
2012-05
版次：
2
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
456页
字数：
664千字
作者：
刘顺祥
出版社：
清华大学出版社
ISBN：
9787302553052
出版时间：
2020-06
版次：
2
装帧：
其他
开本：
16开
纸张：
胶版纸
作者：
[美]Stanley B.Lippman 著；侯捷 译
出版社：
电子工业出版社
ISBN：
9787121209345
出版时间：
2013-08
版次：
1
装帧：
平装
开本：
16开
纸张：
胶版纸
页数：
320页
字数：
440千字
占位居中
直播中，去观看