共 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