Cross-Curriculum Search for Intergeo - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Paul Libbrecht' in GoogleThis author has not been identified. Look up 'Cyrille Desmoulins' in GoogleThis author has not been identified. Look up 'Christian Mercat' in GoogleThis author has not been identified. Look up 'Colette Laborde' in GoogleThis author has not been identified. Look up 'Michael Dietrich' in GoogleThis author has not been identified. Look up 'Maxim Hendriks' in Google

runs on WebDSL