dblp.uni-trier.dewww.uni-trier.de

Martin Homik

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
2EEMartin 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

Coauthor Index

1Philipp Kärger [1]
2Andreas Meier [2]
3Erica Melis [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)