Kybernetika 16 no. 3, 209-224, 1980

Statistical testing procedure for lengths of formalized proofs

Ivan Kramosil

Classification:

62C99, 03F20, 68T15, 03B35, 68G15