Knowledge based theorem proving and learning - Cohen, Donald N (Ann Arbor, Mich. UMI Research Press, 1981)
Revision of thesis (Ph.D.)--Carnegie-Mellon University, 1980
Includes index
Bibliography: p.199-200
1
Keywords: Automatic theorem proving; Knowledge, Theory of -- Data processing; Learning, Psychology of -- Data processing