このページのリンク

<図書>
Analogy for automated reasoning / Stephen Owen
(Perspectives in artificial intelligence ; v. 9)

出版者 London ; San Diego : Academic Press
出版年 c1990
コード類 書誌ID=2000454334 NCID=BA11265805

書誌詳細を表示

本文言語 英語
大きさ xv, 235 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *Owen, Stephen (Stephen G.)
件 名 LCSH:Automatic theorem proving
LCSH:Artificial intelligence
LCSH:Analogy
分 類 LCC:QA76.9.A96
DC20:006.3
巻冊次 ISBN:0125317158

所蔵情報を非表示

本館・書庫・洋書
006.3/OW2 0570635747
0125317158 1990

 類似資料