Automated Theorem Proving: After 25 Years CC8WT1E6MF
| URI | m2://res/CC8WT1E6MF |
|---|---|
| Kind | edited-volume |
| Creators | W. W. Bledsoe (editor), D. W. Loveland (editor) |
| Date | 1984 |
| MSC | 00B25, 68-06 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1984 |
| Ids | DOI 10.1090/conm/029, zbl 0545.00023, zbl_id 3867263 |
- m1: print, American Mathematical Society, 1984 (record). isbn 9780821850275, isbn 9780821853832, isbn 9780821876145
Relations
- part_of Contemporary Mathematics
Catalogue records
- ams-series: 10.1090/conm/029 (work)
- zbmath_search: 3867263 (work)