The CADE-14 ATP System Competition
The 14th International Conference on Automated Deduction
A competition for 1st order ATP systems was held at CADE-14, on Wednesday,
16th July, 1997.
The competition was organized by
Christian Suttner and
The competition was overseen by a panel of knowledgeable researchers who
were not participating in the event; the panel members were
Claude Kirchner, and
If you have any questions about the competition, please
email the organizers.
Follow these links to: