Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.
| データ種別 | 電子ブック |
|---|---|
| 出版者 | Providence, R.I. : American Mathematical Society |
| 出版年 | 1984 |
| 本文言語 | 英語 |
| 大きさ | 1 online resource (ix, 360 p.) |
書誌詳細を非表示
| 別書名 | その他のタイトル:Automated theorem proving : |
|---|---|
| 一般注記 | "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. Access is restricted to licensed institutions Electronic reproduction. Mode of access : World Wide Web Description based on print version record. URL:http://www.ams.org/conm/029/ (Contents) URL:http://dx.doi.org/10.1090/conm/029 (Contents) |
| 著者標目 | *Special Session on Automatic Theorem ProvingDenver, Colo.)(1983 : Bledsoe, W. W. Loveland, Donald W. American Mathematical Society. |
| 件 名 | LCSH:Automatic theorem proving |
| 巻冊次 | ISBN:9780821876145 
|
| ISBN | 9780821876145 |
| URL | http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029 |
目次／あらすじ