共 50 条
[42]
OR-PARALLEL THEOREM-PROVING WITH RANDOM COMPETITION
[J].
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,
1992, 624
:226-237
[45]
HUMAN ORIENTED LOGIC FOR AUTOMATIC THEOREM-PROVING
[J].
JOURNAL OF THE ACM,
1974, 21 (04)
:606-621
[48]
THE TERM REWRITING APPROACH TO AUTOMATED THEOREM-PROVING
[J].
JOURNAL OF LOGIC PROGRAMMING,
1992, 14 (1-2)
:71-99