Geodesic
A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
Kybernetika, Tome 08 (1972) no. 2, p. 148.

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

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