| 暂存书架(0) | 登录



MARC状态：审校 文献类型：规范文档 浏览次数：26

题名/责任者:
谓词抽象研究/魏燕侠著
出版发行项:
北京:社会科学文献出版社社会政法分社,2017
ISBN及定价:
978-7-5201-1173-7/CNY59.00
载体形态项:
213页;24cm
并列正题名:
Studies on predicate abstraction
丛编项:
华侨大学哲学社会科学文库/贾益民主编.哲学系列
个人责任者:
魏燕侠 著
学科主题:
谓词逻辑
中图法分类号:
O141.12
一般附注:
华侨大学哲学社会科学学术著作专项资助计划资助
提要文摘附注:
本书通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O141.12/2642 06001306233   雨花密集存本库     阅览 雨花密集存本库
O141.12/2642 06001306234   雨花理科图书室     可借 雨花理科图书室
O141.12/2642 06001306235   雨花理科图书室     可借 雨花理科图书室
显示全部馆藏信息
借阅趋势

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