• DML-CZ Home

Author: Zwinogrodzki, Zbigniew

• Kramosil, Ivan; Zwinogrodzki, Zbigniew: Statistical methods for comparing theorem proving algorithms. (English). Kybernetika, vol. 10 (1974), issue 3, pp. (221)-240