Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors
(Contemporary mathematics ; v. 29)
| Publisher | Providence, R.I. : American Mathematical Society |
|---|---|
| Year | c1984 |
| Authors | *Special Session on Automatic Theorem Proving (1983 : Denver, Colo.) Bledsoe, W. W. Loveland, Donald W., 1934- American Mathematical Society |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| Library Main Building Basement (Kodaira Classification) | pbk. | 710:433:29 | 228011727U |
|
|
|
|
Hide details.
| Material Type | Books |
|---|---|
| Size | ix, 360 p. ; 26 cm |
| Notes | "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 |
| Subjects | LCSH:Automatic theorem proving -- Congresses All Subject Search |
| Classification | LCC:QA76.9.A96 DC19:511.3 |
| Language | English |
| ID | 0000333955 |
| ISBN | 082185027X |
| NCID |
BA03456885 
|
Similar Items
Usage statistics of this contents
Number of accesses to this page：11times