こちらに共通ヘッダが追加されます。

この情報を出力する

このページのリンク

他の検索サイト

Automated reasoning : introduction and applications / Larry Wos ... [et al.]

データ種別 図書
出版情報 Englewood Cliffs, N.J. : Prentice-Hall , c1984
大きさ xiv, 482 p. : ill. ; 24 cm

所蔵情報を非表示

理工学部 電気系 pbk. 007.1||W9386 096100223


書誌詳細を非表示

書誌ID BB10325681
本文言語 英語
一般注記 Includes bibliographical references and index
著者標目  Wos, Larry, 1930-
件　名 LCSH:Automatic theorem proving
LCSH:Artificial intelligence
LCSH:Electronic digital computers -- Programming  全ての件名で検索
分　類 LCC:QA76.9.A96
DC19:001.53/5
巻冊次 ISBN:0130544531 RefWorks出力（各巻）
pbk. ; ISBN:0130544469 RefWorks出力（各巻）
NCID BA01132510
[BOOKデータASPサービス] あらすじ／目次

 類似資料