Next:
Experiences of users
Up:
The Watson Theorem Prover
Previous:
Special effects
Experience with the prover
Experiences of users
Experience with mathematical content areas
Randall Holmes
2000-11-03
