Automatic conjecture modification

Alison Pease; Simon Colton

Automatic conjecture modification

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

Original language	English
Title of host publication	Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice
Number of pages	2
Publication status	Published - 2004
Event	11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice - University of Leeds, Leeds, United Kingdom Duration: 31 Mar 2004 → 1 Apr 2004 http://www.comp.leeds.ac.uk/brandon/ARW04.html

Workshop

Workshop	11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice
Abbreviated title	ARW 2004
Country	United Kingdom
City	Leeds
Period	31/03/04 → 1/04/04
Internet address	http://www.comp.leeds.ac.uk/brandon/ARW04.html

Access to Document

Cite this

@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",

note = "11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice , ARW 2004 ; Conference date: 31-03-2004 Through 01-04-2004",

url = "http://www.comp.leeds.ac.uk/brandon/ARW04.html",

}

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

T2 - 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice

Y2 - 31 March 2004 through 1 April 2004

ER -