Login / Signup
Designing a GUI for Proofs - Evaluation of an HCI Experiment
Martin Homik
Andreas Meier
Published in:
CoRR (2009)
Keyphrases
</>
human computer interaction
website
user interface
genetic algorithm
first order logic
evaluation method
evaluation model
machine learning
multimedia
evaluation metrics
theorem prover
evaluation criteria