Automated Theorem Proving: After 25 Years (Contemporary Mathematics)

by W. W. Bledsoe

Paperback

details (USA).

ISBN: 978-0-8218-5027-5

ISBN-10: 0-8218-5027-X

Amer Mathematical Society · 1984