Geodesic
Statistical approach to proof theory
Kybernetika, Tome 15 (1979) no. Suppl, p. 1,3.

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

Classification : 03-01, 03-02, 03B35, 03B52, 03F99, 62P99, 68-01, 68-02, 68G15, 68T15 
@article{KYB_1979__15_Suppl_a0,
     author = {Kramosil, Ivan},
     title = {Statistical approach to proof theory},
     journal = {Kybernetika},
     pages = {1,3},
     publisher = {mathdoc},
     volume = {15},
     number = {Suppl},
     year = {1979},
     mrnumber = {0562376},
     zbl = {0445.68068},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1979__15_Suppl_a0/}
}
TY  - JOUR
AU  - Kramosil, Ivan
TI  - Statistical approach to proof theory
JO  - Kybernetika
PY  - 1979
SP  - 1,3
VL  - 15
IS  - Suppl
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_1979__15_Suppl_a0/
LA  - en
ID  - KYB_1979__15_Suppl_a0
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%T Statistical approach to proof theory
%J Kybernetika
%D 1979
%P 1,3
%V 15
%N Suppl
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1979__15_Suppl_a0/
%G en
%F KYB_1979__15_Suppl_a0
Kramosil, Ivan. Statistical approach to proof theory. Kybernetika, Tome 15 (1979) no. Suppl, p. 1,3. http://geodesic.mathdoc.fr/item/KYB_1979__15_Suppl_a0/