共 6 条
[1]
BORODYUK VP, 1969, PROBLEM CYBERNETICS, P88
[2]
GOODSTEIN RL, 1965, MATH LOGIC
[3]
MARTINLOF P, 1975, TOPICS CONSTRUCTIVE
[4]
NALIMOV VV, 1979, PROBABILISTIC MODEL
[5]
NALIMOV VV, 1971, THEORY EXPT
[6]
VOSHCHININ AP, 1981, ZAVOD LABORAT, P50