城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(書名(完全形): Computer science. Artificial intelligence)
該当件数:4件
A computer system for checking proofs / by Scott D. Johnson.
no. 12. - Ann Arbor, Mich. : U. M. I. Research Press , c1982.. - (Computer science. Artificial intelligence ; no. 12)
図書
Knowledge based theorem proving and learning / by Donald N. Cohen.
no. 4. - Ann Arbor, Mich. : U. M. I. Research Press , c1981.. - (Computer science. Artificial intelligence ; no. 4)
An information retrieval system based on a computer model of legal knowledge / by Carole D. Hafner.
no. 1. - Ann Arbor, Mich. : U. M. I. Research Press , c1981.. - (Computer science. Artificial intelligence ; no. 1)
Model-based computer vision / by Rodney Allen Brooks.
no. 14. - Ann Arbor, Mich. : U. M. I. Research Press , c1984.. - (Computer science. Artificial intelligence ; no. 14)