Bundy, Alan



All Links

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.