愛知工業大学附属図書館

Non-standard logics for automated reasoning

edited by Philippe Smets ... [et al.]. -- Academic Press, 1988. <BB00055870>
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 図書館 電動集密洋書 410.96||N 001970672 書架 0件
No. 0001
巻号
所蔵館 図書館
配置場所 電動集密洋書
請求記号 410.96||N
資料ID 001970672
状態 書架
返却予定日
予約 0件

書誌詳細

標題および責任表示 Non-standard logics for automated reasoning / edited by Philippe Smets ... [et al.]
出版・頒布事項 London ; Tokyo : Academic Press , 1988
形態事項 x, 334 p. ; 24 cm
巻号情報
ISBN 0126495203
注記 Includes bibliographies and index
注記 The result of a project that was funded by the Commission of the European Communities' COST (Committee on Science and Technology) initiative
学情ID BA03772579
本文言語コード 英語
著者標目リンク Smets, Philippe <AU00023980>
分類標目 LCC:BC135
分類標目 DC19:511.3
件名標目等 Mathematical logic
件名標目等 Logic, Symbolic and mathematical