9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings
by Lusk, E & Overbeek, R (eds)
Price: $10.00
- Bookseller: Caliban Books ABAA-ILAB
- Seller Inventory #: 0055943
- Format: Paperback
- Book condition: Near Fine
- Binding: Paperback
- ISBN 10: 354019343X
- ISBN 13: 9783540193432
- Publisher: Springer-Verlag, Heidelberg
- Date published: 1988
Book Description
Springer-Verlag, Heidelberg. 1988. Paperback. Near Fine. 775 pp. Softcover. Near Fine copy: wraps show slight waving; wraps and page edges also show light soil. Insides clean; text is unmarked. 8vo. FREE DOMESTIC MEDIA SHIPPING FOR ITEMS OVER $30.
Not sure what some of these terms mean? Look it up in our glossary.