Geodesic
Statistical methods for comparing theorem proving algorithms
Kybernetika, Tome 10 (1974) no. 3, p. 240

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

Classification : 68A40, 68T15 
@article{KYB_1974__10_3_a3,
     author = {Kramosil, Ivan and Zwinogrodzki, Zbigniew},
     title = {Statistical methods for comparing theorem proving algorithms},
     journal = {Kybernetika},
     pages = {--240},
     publisher = {mathdoc},
     volume = {10},
     number = {3},
     year = {1974},
     mrnumber = {0345460},
     zbl = {0284.68068},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1974__10_3_a3/}
}
TY  - JOUR
AU  - Kramosil, Ivan
AU  - Zwinogrodzki, Zbigniew
TI  - Statistical methods for comparing theorem proving algorithms
JO  - Kybernetika
PY  - 1974
SP  - 
EP  - 240
VL  - 10
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_1974__10_3_a3/
LA  - en
ID  - KYB_1974__10_3_a3
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%A Zwinogrodzki, Zbigniew
%T Statistical methods for comparing theorem proving algorithms
%J Kybernetika
%D 1974
%P -240
%V 10
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1974__10_3_a3/
%G en
%F KYB_1974__10_3_a3
Kramosil, Ivan; Zwinogrodzki, Zbigniew. Statistical methods for comparing theorem proving algorithms. Kybernetika, Tome 10 (1974) no. 3, p. 240. http://geodesic.mathdoc.fr/item/KYB_1974__10_3_a3/