Automated Theorem Proving: After 25 Years cover image

Contemporary Mathematics
Volume: 29; 1984; 360 pp;  Softcover
MSC: Primary 68; Secondary 03


Print ISBN: 978-0-8218-5027-5
Product Code: CONM/29

List Price: $53.00
Individual Member Price: $42.40

Add to Cart (PRINT)


Electronic ISBN: 978-0-8218-7614-5
Product Code: CONM/29.E

List Price: $53.00
Individual Member Price: $42.40