Integrating HR and tptp2X into MathWeb to Compare Automated Theorem Provers (2002)

Cached

Download Links

by Jürgen Zimmer , Andreas Franke , Simon Colton , Geoff Sutcliffe
Venue:In Proceedings of the CADE'02 Workshop on Problems and Problem sets
Citations:1 - 0 self