Knowledge based theorem proving and learning
By: by Donald N. Cohen.
Series: Computer science.; no. 4
Publisher: UMI Research Press
Published: 1981
Place of publication: Ann Arbor, Mich
Language: eng
Number of pages: 202
Subjects: Automatic theorem proving.; Knowledge, Theory of -- Data processing.; Learning, Psychology of -- Data processing.
Notes: Includes bibliographical references and index.