中文版 | English

在结果中检索

CSpace
（本次检索基于用户作品认领结果）

浏览/检索结果: 共2条，第1-2条 帮助

限定条件            
已选(0)清除 条数/页：   排序方式：
使用广义奇超位ii的一阶定理证明 期刊论文
中国科学e辑技术科学, 1996, 卷号: 26, 期号: 5, 页码: 442
作者:  吴尽昭;  刘卓军
收藏  |  浏览/下载：16/0  |  提交时间：2020/01/10
一阶谓词演算定理机器胆的余式方法 期刊论文
计算机学报, 1996, 卷号: 19, 期号: 10, 页码: 728
作者:  刘卓军;  吴尽昭
收藏  |  浏览/下载：13/0  |  提交时间：2020/01/10