A Visual Interactive Framework for Formal Derivation.

Paul Agron Leo Bachmair Frank Nielsen

Published in: International Conference on Computational Science (1) (2005)

Keyphrases

main contribution
data sets
information retrieval
visual representation
conceptual framework
visual information
seamlessly integrated
data visualization
formal model
bayesian framework
user friendly
process model
virtual reality
theoretical framework
lightweight
learning environment
high level
image processing