Machine learning case splits for theorem proving

Simon Colton, Ferdinand Hoermann, Geoff Sutcliffe, Alison Pease

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

    Original languageEnglish
    Title of host publicationProceedings of the Automated Reasoning Workshop
    Number of pages2
    Publication statusPublished - 2005
    Event12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice - University of Edinburgh/National e-Science Centre, Edinburgh, United Kingdom
    Duration: 29 Jul 200530 Jul 2005
    http://www.inf.ed.ac.uk/events/conferences/arw-05/

    Workshop

    Workshop12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
    Country/TerritoryUnited Kingdom
    CityEdinburgh
    Period29/07/0530/07/05
    Internet address

    Cite this