Login / Signup
The Power and Performance of Proof Animation.
Nancy J. Earle
James O. Henriksen
Published in:
WSC (1995)
Keyphrases
</>
power consumption
computer animation
data sets
user interface
theorem prover
motion capture
information systems
human computer interaction
linear logic
power distribution