%0 Journal Article
%A Kramosil, Ivan
%A Zwinogrodzki, Zbigniew
%T Statistical methods for comparing theorem proving algorithms
%J Kybernetika
%D 1974
%P 221-240
%V 10
%N 3
%U http://geodesic.mathdoc.fr/item/KYB_1974_10_3_a3/
%G en
%F KYB_1974_10_3_a3