ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
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.
Sort options: binding | publication date | edition
August 1, 2002
Book cover for 9783540439318
 
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
About: This book constitutes the refereed proceedings of the 18th International Conference on Automated Deduction, CADE - 18, held in Copenhagen, Denmark, in July 2002.