Proof: the general purpose animator.

Nancy J. Earle Daniel T. Brunner James O. Henriksen

Published in: WSC (1990)

Keyphrases

general purpose
special purpose
domain specific
application specific
theorem prover
programming language
proof planning
highly optimized
search algorithm
wireless sensor networks
database systems
image segmentation
decision making
tightly coupled
linear logic
computer vision
logical rules
learning algorithm