|
|||||
|
|
Algebras and formal specifications in geometric modelling |
|
| Authors: | Jean-François Dufourd |
| Affiliation: | (1) Laboratoire des Sciences de l’Image, de l’Informatique et de la Télédétection (LSIIT, URA CNRS 1871), Université Louis Pasteur, 7 rue René Descartes, 67084 Strasbourg Cedex, France e-mail: dufourd@dpt-info.u-strasbg.fr, FR |
| Abstract: | |
| Keywords: | : Universal algebra Extended λ -calculus Formal specification Geometric modeling Constructive solid geometry Boundary representation Parameterization |
| 本文献已被 SpringerLink 等数据库收录！ | |