Alison Pease

home research  papers  phd hrl

back

@INPROCEEDINGS{colton:05,
AUTHOR ={Colton, S. and Hoermann, F. and Sutcliffe, G. and Pease, A.},
YEAR ={2005},
TITLE ={Machine Learning Case Splits for Theorem Proving},
BOOKTITLE={Proceedings of the Automated Reasoning Workshop, Edinburgh, 2005.},
PUBLISHER={},
ADDRESS ={},
}