%0 Journal Article
%A Kramosil, Ivan
%T Computational complexity of a statistical theoremhood testing procedure for propositional calculus with pseudo-random inputs
%J Kybernetika
%D 1981
%P 359-367
%V 17
%N 5
%U http://geodesic.mathdoc.fr/item/KYB_1981_17_5_a1/
%G en
%F KYB_1981_17_5_a1