Geodesic

Tome 10 (1974) no. 3

Sommaire

Man and computer
p. 177-186
Data compression in discriminating stochastic processes
p. 187-198
Semantic evaluation of prognostic statements on the base of probabilistic parameters
p. 199-220
Statistical methods for comparing theorem proving algorithms
p. 221-240
An application of logical-probabilistic expressions to the realization of stochastic automata
p. 241-257
On the optimum decision rule for the radar signal processing
p. 258-271
Новые книги
p. 272-276
News
p. 277-280