Knowledge based theorem proving and learning
Cohen, Donald N.
Ann Arbor, Mich. UMI Research Press
c1981
Includes bibliographical references and index
Automatic theorem proving.
Knowledge, Theory of
Learning, Psychology of