Geodesic
Statistical deducibility testing with stochastic parameters
Kybernetika, Tome 14 (1978) no. 6, pp. 385-396 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B25, 62C99, 68G15, 68T15 
@article{KYB_1978_14_6_a0,
     author = {Kramosil, Ivan and \v{S}indel\'a\v{r}, Jan},
     title = {Statistical deducibility testing with stochastic parameters},
     journal = {Kybernetika},
     pages = {385--396},
     year = {1978},
     volume = {14},
     number = {6},
     mrnumber = {529191},
     zbl = {0403.62014},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1978_14_6_a0/}
}
TY  - JOUR
AU  - Kramosil, Ivan
AU  - Šindelář, Jan
TI  - Statistical deducibility testing with stochastic parameters
JO  - Kybernetika
PY  - 1978
SP  - 385
EP  - 396
VL  - 14
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/KYB_1978_14_6_a0/
LA  - en
ID  - KYB_1978_14_6_a0
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%A Šindelář, Jan
%T Statistical deducibility testing with stochastic parameters
%J Kybernetika
%D 1978
%P 385-396
%V 14
%N 6
%U http://geodesic.mathdoc.fr/item/KYB_1978_14_6_a0/
%G en
%F KYB_1978_14_6_a0
Kramosil, Ivan; Šindelář, Jan. Statistical deducibility testing with stochastic parameters. Kybernetika, Tome 14 (1978) no. 6, pp. 385-396. http://geodesic.mathdoc.fr/item/KYB_1978_14_6_a0/

[1] V. Fabian: Základní statistické metody. NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1963. | MR

[2] J. Janko: Statistické tabulky. NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1958. | MR

[3] I. Kramosil: Statistical Estimation of Deducibility in Polyadic Algebras. Kybernetika 7 (1971), 3, 181-200. | MR | Zbl

[4] I. Kramosil: A Method for Statistical Testing of an at Random Sampled Formula. Kybernetika 9 (1973), 3, 162-173. | MR | Zbl

[5] E. L. Lehman: Testing Statistical Hypotheses. John Wiley and Sons, New York, Chapman and Hall, London 1960 (Russian translation: „Nauka", Moscow 1964). | MR

[6] J. Šindelář: Některé možnosti použití metody Monte-Carlo ve statistické teorii odvoditelnosti. Institute of Information Theory and Automation, Research Rep. No. 803, 1977.

[7] A. Špaček: Statistical Estimation of Provability in Boolean Logics. In: Transactions of the Second Prague Conference on Information Theory, Prague 1959. NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1960. | MR

[8] A. Wald: Statistical Decision Functions. John Wiley and Sons, New York 1950. | MR | Zbl

[9] A. Wald: Sequential Analysis. John Wiley and Sons, New York 1947 (Russian translation: ,,Nauka", Moscow, 1960). | MR | Zbl