Automated Theorem Discovery

  • McCasland, Roy (Principal Investigator)
  • Bundy, Alan (Co-investigator)
  • 5 Article
  • 1 Conference contribution
Filter
Conference contribution

Search results

  • 2010

    Scheme-Based Synthesis of Inductive Theories

    Montano-Rivas, O., McCasland, R., Dixon, L. & Bundy, A., 2010, Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I. Sidorov, G., Aguirre, A. H. & García, C. A. R. (eds.). Springer-Verlag GmbH, p. 348-361 14 p. (Lecture Notes in Computer Science; vol. 6437).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File