search for books and compare prices
Automated Deduction-Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : Proceedings
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
August 1, 2002
from Springer Verlag (August 1, 2002)
9783540439318 | details & prices | 534 pages | 6.00 × 9.50 × 1.25 in. | 1.85 lbs | List price $139.00