• DML-CZ Home

68A40 

• Hájek, Petr: Automatic listing of important observational statements. III. (English). Kybernetika, vol. 10 (1974), issue 2, pp. (95)-124
• Kramosil, Ivan; Zwinogrodzki, Zbigniew: Statistical methods for comparing theorem proving algorithms. (English). Kybernetika, vol. 10 (1974), issue 3, pp. (221)-240