Paul Libbrecht, Cyrille Desmoulins, Christian Mercat, Colette Laborde, Michael Dietrich, Maxim Hendriks. Cross-Curriculum Search for Intergeo. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, editors, Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Volume 5144 of Lecture Notes in Computer Science, pages 520-535, Springer, 2008. [doi]
@inproceedings{LibbrechtDMLDH08,
title = {Cross-Curriculum Search for Intergeo},
author = {Paul Libbrecht and Cyrille Desmoulins and Christian Mercat and Colette Laborde and Michael Dietrich and Maxim Hendriks},
year = {2008},
doi = {10.1007/978-3-540-85110-3_42},
url = {http://dx.doi.org/10.1007/978-3-540-85110-3_42},
tags = {search},
researchr = {https://researchr.org/publication/LibbrechtDMLDH08},
cites = {0},
citedby = {0},
pages = {520-535},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
editor = {Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk},
volume = {5144},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85109-7},
}