| 暂存书架(0) | 登录

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

题名/责任者:
R-演算:一种信念修正的逻辑/李未, 眭跃飞著
出版发行项:
北京:科学出版社,2021
ISBN及定价:
978-7-03-068583-4 精装/CNY138.00
载体形态项:
233页;25cm
其它题名:
一种信念修正的逻辑
个人责任者:
李未
个人责任者:
眭跃飞
学科主题:
算子演算
中图法分类号:
O177.6
书目附注:
有书目和索引
提要文摘附注:
本书对R-演算作多个视角的扩展,内容涉及命题逻辑的R-演算、描述逻辑的R-演算、命题模态逻辑的R-演算、逻辑程序的R-演算、一阶逻辑的R-演算等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O177.6/450 60268464   临安自科(N-Z)(2F)(信息工程学院)     可借 临安自科(N-Z)(2F)(信息工程学院)
O177.6/450 60268465   临安自科(N-Z)(2F)(信息工程学院)     可借 临安自科(N-Z)(2F)(信息工程学院)
O177.6/450 72404838   自然科学第二书库(7F)     可借 自然科学第二书库(7F)
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

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