Results 1 -
1 of
1
Integrating HR and tptp2X into MathWeb to Compare Automated Theorem Provers (2002)
by J Zimmer, A Franke, S Colton, G Sutcliffe
| Venue: | Proceedings of the CADE'02 Workshop on Problems and Problem Sets |
