511.3 / C66k
Cohen, Donald N.
KNOWLEDGE BASED THEOREM PROVING AND LEARNING
/
.- Ann Arbor: Umi Research Press, 1981
.- 202 .
.- ( Computer Science. Artifi Intelligence, No. 4
Subject Headings:
Automic Theorem Proving;
Knowledge, Theory Of -- Data Processing;
Learning, Psychology Of -- Data Processing;
Copy Details:
Acc. No.: A80216, Full Call No.: 511.3 C66k, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------