ProveEasy: helping people learn to do proofs.

Rod M. Burstall

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

Keyphrases

database
databases
theorem proving
computer vision
website
multiscale
case study
database systems
objective function
wide range
learning rules