Knowledge based theorem proving and learning

書誌事項

Knowledge based theorem proving and learning

by Donald N. Cohen

(Computer science, Artificial intelligence ; no. 4)

UMI Research Press, c1981

大学図書館所蔵 件 / 21

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ