科研成果
        概况介绍
        获奖
        论文
        专著
        专利
专著 现在位置:首页 > 科研成果 > 专著
著作名称: 高阶逻辑辅助证明系统(A Proof Assistant for HOL)
著作名称英文:
学科方向:
学科方向英文:
主编:
主编英文:
编写人员: 陈光喜, 刘卓军
编写人员英文:
编辑出版单位:
编辑出版单位英文:
出版资助单位:
出版资助单位英文:
出版社: 北京理工大学出版社
出版社英文:
出版时间: 2013
再版次数:
印刷数量:
参编内容:
参编内容英文:
全文网址:
研究中心:
研究中心英文:
首席研究员:
首席研究员英文:
总字数:
编者字数:
著作简介:
著作简介英文:
其他备注:
其他备注英文: