Automatic conjecture modification

Alison Pease, Simon Colton

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

    Original languageEnglish
    Title of host publicationProceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice
    Number of pages2
    Publication statusPublished - 2004
    Event11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice - University of Leeds, Leeds, United Kingdom
    Duration: 31 Mar 20041 Apr 2004
    http://www.comp.leeds.ac.uk/brandon/ARW04.html

    Workshop

    Workshop11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice
    Abbreviated titleARW 2004
    CountryUnited Kingdom
    CityLeeds
    Period31/03/041/04/04
    Internet address

    Cite this