My Holdings   Activate Remote Access

Automated Theorem Proving: After 25 Years


About this Title

W. W. Bledsoe and D. W. Loveland, Editors

Publication: Contemporary Mathematics
Publication Year 1984: Volume 29
ISBNs: 978-0-8218-5027-5 (print); 978-0-8218-7614-5 (online)
DOI: http://dx.doi.org/10.1090/conm/029
MathSciNet review: 749236

View other years and volumes:

Table of Contents


Front/Back Matter

Articles

View full volume PDF