Automated theorem proving : : after 25 years / / W.W. Bledsoe and D.W. Loveland, editors.
Saved in:
| Superior document: | Contemporary mathematics, volume 29 |
|---|---|
| : | |
| TeilnehmendeR: | |
| Place / Publishing House: | Providence, Rhode Island : : American Mathematical Society,, [1984] 1984 |
| Year of Publication: | 1984 |
| Language: | English |
| Series: | Contemporary mathematics (American Mathematical Society) ;
volume 29. |
| Online Access: | |
| Physical Description: | 1 online resource (371 pages) :; illustrations. |
| 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"--Title page verso. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Bibliography: | Includes bibliographies. |
|---|---|
| ISBN: | 082185027X (pbk.) 9780821850275 9780821876145 (ebook) |
| ISSN: | 0271-4132 ; |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | W.W. Bledsoe and D.W. Loveland, editors. |