Publications of Thomas Schilz
1999
| , , , , , and , Checking geometric programs or verification of geometric structures (1999), in: Computational Geometry: Theory and Applications, 12:1-2(85-103) |
[DOI] |
| , , , , , and , Checking geometric programs or verification of geometric structures (1999), in: Computational Geometry: Theory and Applications, 12:1-2(85-103) |
[DOI] |