Jos Vermasseren Lecture
"Symbolic Problem Solving"
October 20, 2000
This is the Real Video Only!