TY  - BOOK
AU  - Cohen,Donald N
TI  - Knowledge based theorem proving and learning
PY  - 1981///
CY  - Ann Arbor, Mich.
PB  - UMI Research Press
KW  - Automatic theorem proving
KW  - Knowledge, Theory of
KW  - Data processing
KW  - Learning, Psychology of
N1  - Revision of thesis (Ph.D.)--Carnegie-Mellon University, 1980; Includes index; Bibliography: p.199-200
ER  -