共 7 条
[1]
BRAMIK HJ, 1981, PHILOS MATH ERKENNTN, P67
[2]
BRUGGEMANN A, 1984, SPRINGER LNCS, V171, P198
[3]
BUNING HK, 1984, SPRINGER LNCS, V171, P245
[4]
MULLER J, 1981, NETZWERKE ENDLICHER
[5]
PRIESE L, 1981, PHILOS MATH ERKENNTN, P107
[6]
RODDING D, 1984, SPRINGER LNM, V1104, P365
[7]
RODDING D, 1983, SPRINGER LNCS, V158, P394