Skip to Main Content

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)
MathSciNet review: 749236

View other years and volumes:

Table of Contents

Front/Back Matter


View full volume PDF