KNOWLEDGE BASED THEOREM PROVING AND LEARNING - Cohen, Donald N. (Ann Arbor Umi Research Press, 1981)
Keywords: Automic Theorem Proving; Knowledge, Theory Of -- Data Processing; Learning, Psychology Of -- Data Processing