1246 search results - page 250 / 250 » High Performance Clustering Based on the Similarity Join |
LPAR
2012
Springer
12 years 26 days ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...