from Springer Verlag (August 1, 2002)
| details & prices
| 534 pages | 6.00 × 9.50 × 1.25 in. | 1.85 lbs | List price $139.00About:
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).