Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.
1984
QA76.9.A96 S64 1983
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.
ISBN
082185027X (pbk.)
9780821850275
9780821876145 (e-book)
9780821850275
9780821876145 (e-book)
Published
Providence, Rhode Island : American Mathematical Society, [1984]
Copyright
©1984
Language
English
Description
1 online resource (371 pages) : illustrations.
Call Number
QA76.9.A96 S64 1983
Dewey Decimal Classification
511.3
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"--Title page verso.
Bibliography, etc. Note
Includes bibliographies.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Added Corporate Author
Series
Contemporary mathematics (American Mathematical Society) ; volume 29.
Available in Other Form
Linked Resources
Record Appears in