登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
Automatic theorem proving based on matings
作者:Chen, Yuquan; Lu, Ruzhan; Yu, Hao
来源:
Journal of Software
, 1997, 8(4): 271-277.
Automatic theorem proving
Backtracking
Higher order logic
Matings
出版日期
1997
单位
上海交通大学
全文
全文
访问全文
相似论文
引用论文
参考文献