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