/LC.GIF&client=easterncarolinaedu)
Automated theorem proving after 25 years / W.W. Bledsoe and D.W. Loveland, editors.
| Author/creator | Special Session on Automatic Theorem Proving |
| Other author | Bledsoe, W. W. |
| Other author | Loveland, Donald W. |
| Other author | American Mathematical Society. |
| Format | Electronic |
| Publication Info | Providence, R.I. : American Mathematical Society, |
| Description | ix, 360 p. ; 26 cm. |
| Supplemental Content | Full text available from e-Contemporary Mathematics Backfile |
| Supplemental Content | Full text available from Ebook Central - Academic Complete |
| Subjects |
| Series | Contemporary mathematics, 0271-4132 ; v. 29 Contemporary mathematics (American Mathematical Society) ; v. 29. ^A654475 |
| General note | "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. |
| Bibliography note | Includes bibliographies. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 84009226 |
| ISBN | 082185027X (pbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |