Publications

Startseite » Publications
Export 1 results:
Autor Titel Typ [ Jahr(Desc)]
Filters: Autor is Libbrecht, Paul and First Letter Of Title is U  [Clear All Filters]
2004
Kortenkamp, U., & Richter-Gebert J. (2004).  Using Automatic Theorem Proving to Improve the Usability of Geometry Software. (Libbrecht, P., Ed.).Proceedings of MathUI 2004. PDF icon KortenkampRichter-Ge-UATPIUGS-2004a.pdf (842.28 KB)
Go to top