図書館

Qualitative reasoning about physical systems

edited by Daniel G. Bobrow. -- North-Holland, 1984. <BB10035117>
あべし(0) きゅんきゅん(0) ぽろぽろ(0) わくわく(0) ざわざわ(0)


登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~2件(全2件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約 WEB書棚
0001 宇都宮 2F 007.1/Q1 10000101 0件

0002 宇都宮 1F 集密書架 和書 007.1/Q 1 20004468 0件

No. 0001
巻号
所蔵館 宇都宮
配置場所 2F
請求記号 007.1/Q1
資料ID 10000101
状態
返却予定日
予約 0件
WEB書棚
No. 0002
巻号
所蔵館 宇都宮
配置場所 1F 集密書架 和書
請求記号 007.1/Q 1
資料ID 20004468
状態
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 Qualitative reasoning about physical systems / edited by Daniel G. Bobrow
出版・頒布事項 Amsterdam ; New York : North-Holland
出版・頒布事項 Cambridge, MA : Sole distributors for the U.S.A. and Canada, MIT Press , 1984
形態事項 491 p. : ill. ; 25 cm
巻号情報
ISBN 0444876707
その他の標題 不使用・別形式でのタイトル副出:Physical systems
内容著作注記 Qualitative reasoning about physical systems / D.G. Bobrow
内容著作注記 A qualitative physics based on confluences / J. de Kleer and J.S. Brown
内容著作注記 Qualitative process theory / K.D. Forbus
内容著作注記 Commonsense reasoning about causality / B. Kuipers
内容著作注記 How circuits work / J. de Kleer
内容著作注記 Qualitative analysis of MOS circuits / B.C. Williams
内容著作注記 Diagnostic reasoning based on structure and behavior / R. Davis
内容著作注記 The use of design descriptions in automated diagnosis / M.R. Genesereth
内容著作注記 VERIFY, a program for proving correctness of digital hardware designs / H.G. Barrow
注記 "Reprinted from the journal Artificial intelligence, volume 24"--P
注記 Bibliography: p. 490-491
注記 Includes index
学情ID BA00240460
本文言語コード 英語
著者標目リンク Bobrow, Daniel Gureasko <AU10008955>
分類標目 LCC:Q335.5
分類標目 DC19:001.53/5
件名標目等 Artificial intelligence -- Addresses, essays, lectures
件名標目等 Reasoning -- Addresses, essays, lectures