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  -