共 45 条
[11]
Bhatt M, 2009, LECT NOTES COMPUT SC, V5756, P371, DOI 10.1007/978-3-642-03832-7_23
[12]
Borrmann A., 2010, PROCEEDINGS OF THE 8
[13]
Bouhineau D., 1996, Artificial Intelligence and Symbolic Mathematical Computation. International Conference, AISMC-3. Proceedings, P274
[16]
Collins G.E., 1975, AUTOMATA THEORY FORM, V33, P134, DOI [10.1007/3-540-07407-417, DOI 10.1007/3-540-07407-4_17, DOI 10.1007/3-540-07407-417]
[17]
Damski JC, 1997, CAAD FUTURES 1997, P855
[18]
POINT-SET TOPOLOGICAL SPATIAL RELATIONS
[J].
INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SYSTEMS,
1991, 5 (02)
:161-174