English
自动定理证明中带有等词的连接法
缪淮扣, 吴茂康
THE CONNECTION METHOD WITH EQUALITY FOR AUTOMATED THEOREM PROVING
MIAO HUAIKOU, WU MAOKANG
应用科学学报 . 1994, (3): 246 -252 .