登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于余代数的模型检测和定理证明
出版社：中国科学院
出版年：2013
作者：高建华
资源类型：图书
细分类型：中文文献,学位论文
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于SAT的LTL限界模型检测与验证
  • 作者：杜金秀
  • 出版社：中国科学院
  • 出版年：2009
...

射影有理不变量、机器证明和外余代数
  • 作者：沈亚良
  • 出版年：2007
...

括号代数、仿射括号代数和定理机器证明
  • 作者：吴毅红
  • 出版年：2001
...

模态逻辑的模型构造和完备性证明
  • 作者：李小燕
  • 出版社：中国科学院
  • 出版年：2013
...

自动定理证明
  • 作者：石纯一
  • ISBN：7502902988
  • 出版社：气象出版社
  • 出版年：1989
...

定理机器证明
  • 作者：刘叙华
  • 出版社：科学出版社
  • 出版年：1987