中文版 | English
CASIA OpenIR

分面浏览：作者

当前检索式 ((ALL：Automated Theorem Proving))
限定条件 ((收录类别：EI))
共15条，第1-15条
殷飞 2 刘成林 2 张明亮 2
熊刚 1 沈震 1 王亮 1
吴书 1 朱凤华 1 吕宜生 1
谭铁牛 1 呼奋宇 1 叶佩军 1
崔泽宇 1 吴锦林 1 宋冰 1