Computer · Computer Science

Bundy, Alan

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Website

Share

About Bundy, Alan

Bundy, Alan- University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.

Tags

Projects

Where it sits

Computer Computer Science

More in Computer Science