Automated Deduction-Cade-16 : 16th International Conference on Automated Dedu…
The year 1999 marks the 25th anniv- sary of CADE. Since their inception in 1974 at Argonne National Laboratory, the CADE conferences have matured into the major forum for presentation of research in all aspects of automated deduction.