Interactive Proof Presentation.
W. W. BledsoePublished in: Computational Logic - Essays in Honor of Alan Robinson (1991)
Keyphrases
- theorem proving
- user interaction
- multimedia
- artificial intelligence
- interactive systems
- computer graphics
- data sets
- product configuration
- virtual reality
- multiscale
- search algorithm
- data visualization
- three dimensional
- information visualization
- information systems
- real time
- highly interactive
- interactive exploration
- information presentation