%0 Journal Article
%A Kramosil, Ivan
%T Statistical testing procedure for lengths of formalized proofs
%J Kybernetika
%D 1980
%P 209-224
%V 16
%N 3
%U http://geodesic.mathdoc.fr/item/KYB_1980_16_3_a0/
%G en
%F KYB_1980_16_3_a0