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

    Pease, A., & Colton, S. (2004). Automatic conjecture modification. In Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice
    Pease, Alison ; Colton, Simon. / Automatic conjecture modification. Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice . 2004.
    @inproceedings{221e38a7beeb4793aa0b3926d8e02ed6,
    title = "Automatic conjecture modification",
    author = "Alison Pease and Simon Colton",
    year = "2004",
    language = "English",
    booktitle = "Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice",

    }

    Pease, A & Colton, S 2004, Automatic conjecture modification. in Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice . 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice , Leeds, United Kingdom, 31/03/04.

    Automatic conjecture modification. / Pease, Alison; Colton, Simon.

    Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice . 2004.

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

    TY - GEN

    T1 - Automatic conjecture modification

    AU - Pease, Alison

    AU - Colton, Simon

    PY - 2004

    Y1 - 2004

    M3 - Conference contribution

    BT - Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice

    ER -

    Pease A, Colton S. Automatic conjecture modification. In Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice . 2004