Geodesic
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
Kybernetika, Tome 09 (1973) no. 3, p. 173.

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

Classification : 03B99, 62D05, 62P99 
@article{KYB_1973__9_3_a1,
     author = {Kramosil, Ivan},
     title = {A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. {II.} {A} method for statistical testing of an at random sampled formula},
     journal = {Kybernetika},
     pages = {--173},
     publisher = {mathdoc},
     volume = {09},
     number = {3},
     year = {1973},
     mrnumber = {0343415},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1973__9_3_a1/}
}
TY  - JOUR
AU  - Kramosil, Ivan
TI  - A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
JO  - Kybernetika
PY  - 1973
SP  - 
EP  - 173
VL  - 09
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_1973__9_3_a1/
LA  - en
ID  - KYB_1973__9_3_a1
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%T A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
%J Kybernetika
%D 1973
%P -173
%V 09
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1973__9_3_a1/
%G en
%F KYB_1973__9_3_a1
Kramosil, Ivan. A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula. Kybernetika, Tome 09 (1973) no. 3, p. 173. http://geodesic.mathdoc.fr/item/KYB_1973__9_3_a1/