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
none
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: The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002).