Issue 3,
Volume 16,
1980 (Kybernetika )
| (209)-224 | Statistical testing procedure for lengths of formalized proofs. Kramosil, Ivan |
| (225)-239 | Statistical theory of logical derivability. Šindelář, Jan |
| (240)-247 | On computable real functions. Lukavcová, Milena |
| (248)-262 | Locally best unbiased estimates of functionals of covariance functions of a Gaussian stochastic process. Štulajter, František |
| (263)-272 | Discrete stochastic regulation and tracking. Kučera, Vladimír |
| (273)-284 | Variance of estimator of a discrete parameter. Lukš, Antonín; Komenda, Stanislav |
| (285)-293 | Compartmental models of immunological tolerance. Klein, Petr; Doležal, Jaroslav; Hraba, Tomáš |
| 294-296 | New Books. |
| 297-299 | News. |
Search
Partner of
