共 41 条
[1]
AAMODT A, 1994, AI COMMUN, V7, P39
[2]
ANDERSSON K, 1993, FORMAL DESIGN METHOD, P157
[3]
BORDEGONI M, 2003, P MICAD 2003 PAR, P63
[6]
CUGINI U, 2001, P 12 ADM INT C RIM I
[7]
Synthetic modelling system architecture
[J].
2003 INTERNATIONAL CONFERENCE ON GEOMETRIC MODELING AND GRAPHICS, PROCEEDINGS,
2003,
:174-179
[8]
DANESI F, 2006, P GMAG
[9]
DANESI F, 2002, 7 ACM S SOL MOD APPL