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