%0 Conference Paper %1 conf/ilp/ColtonM03 %A Colton, Simon %A Muggleton, Stephen %B ILP %D 2003 %E Horváth, Tamás %I Springer %K dblp %P 93-111 %T ILP for Mathematical Discovery. %U http://dblp.uni-trier.de/db/conf/ilp/ilp2003.html#ColtonM03 %V 2835 %@ 3-540-20144-0

@inproceedings{conf/ilp/ColtonM03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Colton, Simon and Muggleton, Stephen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/280cc8b3e178f61a89898a41ec2db0611/dblp}, booktitle = {ILP}, crossref = {conf/ilp/2003}, editor = {Horváth, Tamás}, ee = {https://doi.org/10.1007/978-3-540-39917-9_8}, interhash = {c8079394df9f694a912d2a6e828cd7ff}, intrahash = {80cc8b3e178f61a89898a41ec2db0611}, isbn = {3-540-20144-0}, keywords = {dblp}, pages = {93-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:48:17.000+0200}, title = {ILP for Mathematical Discovery.}, url = {http://dblp.uni-trier.de/db/conf/ilp/ilp2003.html#ColtonM03}, volume = 2835, year = 2003 }