External Links

    Journal: Kybernetika

    Volume 16, Issue 3

    209 -- 224Ivan Kramosil. Statistical testing procedure for lengths of formalized proofs
    225 -- 239Jan Sindelár. Statistical theory of logical derivability
    240 -- 247Milena Lukavcová. On computable real functions
    248 -- 262Frantisek Stulajter. Locally best unbiased estimates of functionals of covariance functions of a Gaussian stochastic process
    263 -- 272Vladimír Kucera. Discrete stochastic regulation and tracking
    273 -- 284Antonín Luks, Stanislav Komenda. Variance of estimator of a discrete parameter
    285 -- 293Petr Klein, Jaroslav Dolezal, Tomás Hraba. Compartmental models of immunological tolerance
    runs on