Machine learning case splits for theorem proving

Simon Colton, Ferdinand Hoermann, Geoff Sutcliffe, Alison Pease

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

Original language	English
Title of host publication	Proceedings of the Automated Reasoning Workshop
Number of pages	2
Publication status	Published - 2005
Event	12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice - University of Edinburgh/National e-Science Centre, Edinburgh, United Kingdom Duration: 29 Jul 2005 → 30 Jul 2005 http://www.inf.ed.ac.uk/events/conferences/arw-05/

Workshop	12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Country/Territory	United Kingdom
City	Edinburgh
Period	29/07/05 → 30/07/05
Internet address	http://www.inf.ed.ac.uk/events/conferences/arw-05/

Access to Document

@inproceedings{814714d8596b470cb2fcac8c29f36019,

title = "Machine learning case splits for theorem proving",

author = "Simon Colton and Ferdinand Hoermann and Geoff Sutcliffe and Alison Pease",

year = "2005",

language = "English",

booktitle = "Proceedings of the Automated Reasoning Workshop",

note = "12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice ; Conference date: 29-07-2005 Through 30-07-2005",

url = "http://www.inf.ed.ac.uk/events/conferences/arw-05/",

}

TY - GEN

T1 - Machine learning case splits for theorem proving

AU - Colton, Simon

AU - Hoermann, Ferdinand

AU - Sutcliffe, Geoff

AU - Pease, Alison

PY - 2005

Y1 - 2005

M3 - Conference contribution

BT - Proceedings of the Automated Reasoning Workshop

T2 - 12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice

Y2 - 29 July 2005 through 30 July 2005

ER -