| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:92

题名/责任者:
模型论及其在计算机科学中的应用/北京师范大学数学科学学院主编 罗里波编著
出版发行项:
北京:北京师范大学出版社,2012
ISBN及定价:
978-7-303-13602-5/CNY30.00
载体形态项:
300页;23cm
丛编项:
新世纪高等学校教材.数学与应用数学基础课系列教材
个人责任者:
罗里波 编著
团体次要责任者:
北京师范大学数学科学学院 主编
学科主题:
模型论-应用-计算机科学
中图法分类号:
O141.4
中图法分类号:
TP3
书目附注:
有书目 (第295-297页) 和索引
提要文摘附注:
本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的,它的主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O141.4/77 01047049   西区密排2区      可借
O141.4/77 01047050   东3层3区      可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架