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 |
目次/あらすじ