The CADE-17 ATP System Competition

being held at

The 17th International Conference on Automated Deduction
Pittsburgh, USA, 17th June 2000


Competition Divisions' Results Summary

Competition Divisions' Results

Results Graphs


The Official CASC-17 WWW Site