Web Directory

    Top: Computers: Computer_Science: People: B:

 

Bundy, Alan

  Link Details for: Bundy, Alan
Link Title: Bundy, Alan Open in a new window
Link URL: http://homepages.inf.ed.ac.uk/bundy/
Link Details: University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
Category: Top : Computers : Computer_Science : People : B
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Bundy, Alan