---

＜図書＞
Knowledge based theorem proving and learning / by Donald N. Cohen.
(Computer science. Artificial intelligence ; no. 4)

出版者	Ann Arbor, Mich. : U. M. I. Research Press
出版年	c1981.
大きさ	202 p. ; 24 cm.
著者標目	Cohen, Donald N.
件　名	Automatic theorem proving Knowledge, Theory of -- Data processing  全ての件名で検索 Learning, Psychology of -- Data processing  全ての件名で検索

 類似資料