Menu
Submit Site
Home
Computer
Computer Science
Bundy, Alan
Bundy, Alan
All Links
Website
Share this:
Details of Bundy, Alan
About Bundy, Alan
Bundy, Alan- University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
Projects
Send feedback
submit