共 40 条
[22]
KINBER EB, 1977, LECTURE NOTES COMPUT, V56, P435
[24]
Knuth Donald E, 1968, ART COMPUTER PROGRAM, V1
[25]
Laudan L., 1977, PROGR ITS PROBLEMS
[26]
McCreight E.M., 1969, P 1 ANN ACM S THEORY, P79
[27]
Minicozzi E., 1976, Theoretical Computer Science, V2, P345, DOI 10.1016/0304-3975(76)90087-6
[28]
Newton I, 1946, MATH PRINCIPLES NATU
[29]
PODNIEKS KM, 1974, LAT U UCENYE ZAPISKI, V210, P68
[30]
Popper K., 1968, LOGIC SCI DISCOVERY, V4th