| Title:
|
Statistical deducibility testing with stochastic parameters (English) |
| Author:
|
Kramosil, Ivan |
| Author:
|
Šindelář, Jan |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
14 |
| Issue:
|
6 |
| Year:
|
1978 |
| Pages:
|
(385)-396 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B25 |
| MSC:
|
62C99 |
| MSC:
|
68G15 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0403.62014 |
| idMR:
|
MR529191 |
| . |
| Date available:
|
2009-09-24T17:04:03Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124270 |
| . |
| Reference:
|
[1] V. Fabian: Základní statistické metody.NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1963. MR 0170406 |
| Reference:
|
[2] J. Janko: Statistické tabulky.NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1958. MR 0150924 |
| Reference:
|
[3] I. Kramosil: Statistical Estimation of Deducibility in Polyadic Algebras.Kybernetika 7 (1971), 3, 181-200. Zbl 0216.29502, MR 0300881 |
| Reference:
|
[4] I. Kramosil: A Method for Statistical Testing of an at Random Sampled Formula.Kybernetika 9 (1973), 3, 162-173. Zbl 0275.02018, MR 0343415 |
| Reference:
|
[5] E. L. Lehman: Testing Statistical Hypotheses.John Wiley and Sons, New York, Chapman and Hall, London 1960 (Russian translation: „Nauka", Moscow 1964). MR 0852406 |
| Reference:
|
[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. |
| Reference:
|
[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 0123477 |
| Reference:
|
[8] A. Wald: Statistical Decision Functions.John Wiley and Sons, New York 1950. Zbl 0040.36402, MR 0036976 |
| Reference:
|
[9] A. Wald: Sequential Analysis.John Wiley and Sons, New York 1947 (Russian translation: ,,Nauka", Moscow, 1960). Zbl 0041.26303, MR 0020764 |
| . |
