Edinburgh Research Explorer

Dr Roy McCasland

(Former employee or visitor)

  1. Automated Theorem Discovery

    McCasland, R. & Bundy, A.

    1/11/0731/12/11

    £517,261, EPSRC

    Project: Funded ProjectResearch

  2. Project: Funded ProjectResearch