J4 ›› 1993, Vol. 15 ›› Issue (3): 1-9.
• 论文 • 下一篇
陈勇浩
出版日期:
发布日期:
Online:
Published:
陈勇浩. 一个用于一阶逻辑自动定理证明的新算法[J]. J4, 1993, 15(3): 1-9.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y1993/V15/I3/1
