CASC-J5
The 5th IJCAR ATP System Competition
History
Aims and Motivations
Divisions
CASC-J5
Entrants
Results
Developer presentations ...
Chris Benzmüller - LEO-II 1.2
Jens Otten - leanCoP-Ω 0.1
Andrei Voronkov - Vampire 0.6
Thanks
Conclusion
Questions ... for me or the system developers
