Geodesic
Statistical testing procedure for lengths of formalized proofs
Kybernetika, Tome 16 (1980) no. 3, p. 224

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 03B35, 03F20, 62C99, 68G15, 68T15 
@article{KYB_1980__16_3_a0,
     author = {Kramosil, Ivan},
     title = {Statistical testing procedure for lengths of formalized proofs},
     journal = {Kybernetika},
     pages = {--224},
     publisher = {mathdoc},
     volume = {16},
     number = {3},
     year = {1980},
     mrnumber = {587569},
     zbl = {0444.03007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1980__16_3_a0/}
}
TY  - JOUR
AU  - Kramosil, Ivan
TI  - Statistical testing procedure for lengths of formalized proofs
JO  - Kybernetika
PY  - 1980
SP  - 
EP  - 224
VL  - 16
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_1980__16_3_a0/
LA  - en
ID  - KYB_1980__16_3_a0
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%T Statistical testing procedure for lengths of formalized proofs
%J Kybernetika
%D 1980
%P -224
%V 16
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1980__16_3_a0/
%G en
%F KYB_1980__16_3_a0
Kramosil, Ivan. Statistical testing procedure for lengths of formalized proofs. Kybernetika, Tome 16 (1980) no. 3, p. 224. http://geodesic.mathdoc.fr/item/KYB_1980__16_3_a0/