Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors
(Contemporary mathematics ; v. 29)
| データ種別 | 図書 |
|---|---|
| 出版者 | Providence : American Mathematical Society |
| 出版年 | c1984 |
| 形態 | ix, 360 p. : ill. ; 26 cm |
| 著者標目 | Bledsoe, W. W. Loveland, Donald W. American Mathematical Society |
| 分 類 | NDC:410.8 NDC:410.12 |
| 書誌ID | LT00225507 |
所蔵情報を非表示
| 状 態 | 巻 次 | 所 在 | 請求記号 | 資料番号 | ISBN | 刷 年 | コメント | 利用注記 | 予約・取寄 | お薦めの本 | 自動書庫 | 付録注記 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
中央自動書庫 | 410.8/A44-2/1-29 | 0107496120102 | 9780821850275 |
|
|
|
|
|
|||
|
|
中央自動書庫 | 410.8/A44-2/1-29+2 | 0108823740109 | 9780821850275 |
|
|
|
|
|
書誌詳細を非表示
| 本文言語 | 英語 |
|---|---|
| 一般注記 | "Proceedings of the Special Session on Automatic Theorem Proving, 89th annual meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso Includes bibliographies |
| 巻冊次 | ISBN:082185027X |
| 電子体 | Automated theorem proving after 25 years |
目次／あらすじ