next up previous contents
Next: Jorge Angeles Up: Centre for Intelligent Machines Previous: Automatic Theorem Proving for

Publications





Thierry Baron
Mon Apr 7 12:54:24 EDT 1997