An Interactive Driver for Goal-directed Proof Strategies.

Andrea Asperti Enrico Tassi

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

Keyphrases

goal directed
autonomous robots
automated planning
data mining
computer graphics
user friendly
virtual reality
information systems
learning environment
search algorithm
theorem prover