検索条件入力検索結果一覧:(本学所蔵) > Clausal form logic : an introduction to the logic of computer reasoning
書誌詳細
  

NCIDBA07053086
タイトルClausal form logic : an introduction to the logic of computer reasoning / Tom Richards
出版者Sydney ; Reading, Mass. : Addison-Wesley Pub. Co. , c1989
形態xiii, 359 p. : ill. ; 24 cm
注記Includes bibliographies and index
シリーズ名International computer science series
分類LCC:QA76.76.E95
DC19:006.3
件名LCSH:Expertsystems(Computerscience)
LCSH:Artificialintelligence
LCSH:Logic,Symbolicandmathematical
LCSH:Reasoning
著者情報Richards, Tom
和洋区分
標題言語英語
本文言語英語
出版国オーストラリア
ISBN0201129205
番号LCCN : 88026280
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0教養共5F英語007.1:R893261900 研究室  

選択行を: