共 22 条
- [2] BURT P, 1976, THESIS U MASSACHUSET
- [6] COXETER HSM, 1978, NONEUCLIDEAN GEOMETR
- [7] DODWELL PC, 1978, ANNUAL M SOC MATH PS
- [8] FOSTER DH, 1975, BIOL CYBERN, V18, P81
- [9] FOSTER DH, 1978, FORMAL THEORIES VISU
- [10] HOFFMAN WC, 1978, FORMAL THEORIES VISU