Scheme-Based Synthesis of Inductive Theories

O. Montano-Rivas, R. McCasland, L. Dixon, Alan Bundy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Filter
Finished

Search results

  • Finished

    Automated Theorem Discovery

    McCasland, R. & Bundy, A.

    EPSRC

    1/11/0731/12/11

    Project: Research