Alison Pease

home research  papers  phd hrl

back

@INPROCEEDINGS{arw:04,
AUTHOR ={Pease, A. and Colton, S.},
YEAR ={2004},
TITLE ={Automatic Conjecture Modification},
EDITOR ={},
BOOKTITLE={Proceedings of the Automated Reasoning Workshop, Leeds, 2004.},
}