Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces.

David Aspinall Christoph Lüth

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

graphical user interfaces
special case
data structure
data sets
databases
neural network
information retrieval
genetic algorithm
social networks
clustering algorithm
user interface
theorem proving
combining multiple
graphical user interface