共 22 条
[3]
TOWARD A MATHEMATICAL THEORY OF INDUCTIVE INFERENCE
[J].
INFORMATION AND CONTROL,
1975, 28 (02)
:125-155
[4]
Boolos G., 1980, COMPUTABILITY LOGIC
[5]
BUNGE M, 1963, MYTH SIMPLICITY
[7]
Dawkins R., 1976, GROWING POINTS ETHOL, P7
[8]
FRANK H, 1972, AFIPS C P, V40, P255
[9]
Garey Michael R., 1979, COMPUTERS INTRACTABI
[10]
Goodman N, 1972, PROBLEMS PROJECTS