Issue contents

Volume 9 (1973)

Issue: 3

Articles

159-161	J. Král	A note on grammars with regular restrictions
162-173	I. Kramosil	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
174-186	I. Vajda and P. Nedoma	A comparison of three optimality criteria for observation channels
187-205	P. Hájek	Automatic listing of important observational statements. I
206-221	V. Kučera	Algebraic theory of discrete optimal control for single-variable systems. II. Open-loop control

Reviews

222-224