Kybernetika 10 no. 3, 221-240, 1974

Statistical methods for comparing theorem proving algorithms

Ivan Kramosil and Zbigniew Zwinogrodzki

Classification:

68T15, 68A40

paper.pdf