Edinburgh Research Explorer

Dr Roy McCasland

(Former employee or visitor)

  1. Automated Theorem Discovery

    McCasland, R. & Bundy, A.

    EPSRC

    1/11/0731/12/11

    Project: Research

  2. Automated reasoning in large structured theories

    McCasland, R.

    EPSRC

    1/05/0630/09/06

    Project: Research