Geodesic

Volume 09 (1973) no. 3

Sommaire

A note on grammars with regular restrictions
p. 161
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
p. 173
A comparison of three optimality criteria for observation channels
p. 186
Automatic listing of important observational statements. I
p. 205
Algebraic theory of discrete optimal control for single-variable systems. II. Open-loop control
p. 221
Nové knihy
p. 222-224
Zprávy
p. 225-230