Knowledge based theorem proving and learning
Cohen, Donald N
Knowledge based theorem proving and learning by Donald N. Cohen - Ann Arbor, Mich. UMI Research Press 1981 - 202p. 23cm - Computer science no. 4 .
Revision of thesis (Ph.D.)--Carnegie-Mellon University, 1980
Includes index Bibliography: p.199-200
81-7494
Automatic theorem proving
Knowledge, Theory of--Data processing
Learning, Psychology of--Data processing
Knowledge based theorem proving and learning by Donald N. Cohen - Ann Arbor, Mich. UMI Research Press 1981 - 202p. 23cm - Computer science no. 4 .
Revision of thesis (Ph.D.)--Carnegie-Mellon University, 1980
Includes index Bibliography: p.199-200
81-7494
Automatic theorem proving
Knowledge, Theory of--Data processing
Learning, Psychology of--Data processing