Developing an Interface for HOL.

Published in: TPHOLs (1991)

Keyphrases

user friendly
graphical interface
user interface
theorem prover
visual interface
neural network
real time
data sets
real world
information retrieval
multiscale
video sequences
formal methods
natural language interface
direct manipulation