Knowledge based theorem proving and learning /

Bibliographic Details
Main Author:	Cohen, Donald N.
Format:	Book
Language:	English
Published:	Ann Arbor, Mich. : UMI Research Press, [1981]
Series:	Computer science. Artificial intelligence ; no. 4.
Subjects:	Automatic theorem proving. Knowledge, Theory of > Data processing. Learning, Psychology of > Data processing.