View Automated Deduction Cade 18 18Th International Conference On Automated Deduction Copenhagen Denmark July 27 30 2002 Proceedings