%0 Conference Paper %1 ilpmathdiscovery %A Colton, Simon %A Muggleton, Stephen %B ILP %D 2003 %K mathematical discovery ilp %P 93-111 %T ILP for Mathematical Discovery. %U http://dblp.uni-trier.de/db/conf/ilp/ilp2003.html#ColtonM03

@inproceedings{ilpmathdiscovery, added-at = {2006-10-01T16:29:28.000+0200}, author = {Colton, Simon and Muggleton, Stephen}, biburl = {https://www.bibsonomy.org/bibtex/29f4d8d56ed46e7152cf5b92c94c55272/gromgull}, booktitle = {ILP}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2835&spage=93}, interhash = {c8079394df9f694a912d2a6e828cd7ff}, intrahash = {9f4d8d56ed46e7152cf5b92c94c55272}, keywords = {mathematical discovery ilp}, pages = {93-111}, timestamp = {2006-10-01T16:29:28.000+0200}, title = {ILP for Mathematical Discovery.}, url = {http://dblp.uni-trier.de/db/conf/ilp/ilp2003.html#ColtonM03}, year = 2003 }