中文版 | English
CASIA OpenIR

分面浏览：出处

当前检索式 ((ALL：Automated Theorem Proving))
限定条件 无
共29条，第1-20条
吴毅红 3 王飞跃 3 张明亮 3
殷飞 2 关强 2 曾大军 2
刘成林 2 熊刚 1 沈震 1
王亮 1 吴书 1 毛文吉 1
郑晓龙 1 李秋丹 1 胡占义 1
张桂英 1 张宪明 1 朱凤华 1
吕宜生 1 谭铁牛 1