返回检索首页
我的图书馆登录
模型论及其在计算机科学中的应用
/北京师范大学数学科学学院, 罗里波
作者
北京师范大学数学科学学院,
罗里波
价格
CNY30.00
出版者
北京师范大学出版社
索书号
O141.4-43/4
ISBN
978-7-303-13602-5
分类号
O141.4-43
页数
300页
出版日期
20120101
出版地
北京
附件
:
设置1
:
设置2
:
设置3
:本书的主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。
摘要
:有书目 (第295-297页) 和索引
附注提要
本书的主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。
目录
暂无目录
(0)
||
(0)
手机二维条形码
二维条形码使用说明
馆藏信息
索书号
条码号
登录号
馆藏地点
馆藏状态
借出日期
还回日期
流通类型
预约处理
卷册说明
O141.4-43/4
00371752
0
综合文献室
入藏
中文图书
O141.4-43/4
00371754
0
综合文献室
入藏
中文图书
O141.4-43/4
00371753
0
综合文献室
入藏
中文图书
相关链接：