![]() | ![]() |
2009 | ||
---|---|---|
2 | EE | Martin Homik, Andreas Meier: Designing a GUI for Proofs - Evaluation of an HCI Experiment CoRR abs/0903.3926: (2009) |
2005 | ||
1 | Erica Melis, Philipp Kärger, Martin Homik: Interactive Concept Mapping in ActiveMath. DeLFI 2005: 247-258 |
1 | Philipp Kärger | [1] |
2 | Andreas Meier | [2] |
3 | Erica Melis | [1] |