共 8 条
- [1] IGNATYEV MB, 1973, JPRS59717 NTIS REP
- [2] Lockwood E.H., 1961, A BOOK OF CURVES
- [4] Reif J. H., 1979, 20th Annual Symposium of Foundations of Computer Science, P421, DOI 10.1109/SFCS.1979.10
- [5] Schwartz J., 1968, DIFFERENTIAL GEOMETR
- [6] SCHWARTZ JT, 1981, 39 COUR I MATH SCI C
- [7] Tarski Alfred, 1951, DECISION METHOD ELEM
- [8] Udupa S., 1977, THESIS CALIFORNIA I