Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003: Proceedings
by Baader, Franz
Price: $18.00
- Bookseller: Caliban Books ABAA-ILAB
- Seller Inventory #: 0027778
- Book condition:
- Binding: Paperback
- Publisher: New York, NY, U.S.A.New York, NY, U.S.A.: Springer-Verlag New York, Incorporated, 2003
Book Description
New York, NY, U.S.A.New York, NY, U.S.A.: Springer-Verlag New York, Incorporated, 2003. Mint. Trade paperback in mint condition in original shrinkwrap, new copy, unread, without marks of any sort. Binding is Trade Paperback.
Not sure what some of these terms mean? Look it up in our glossary.