Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francisco Botana, Tomás Recio, editors, Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Volume 4869 of Lecture Notes in Computer Science, Springer, 2007.

Conference: adg2007

This author has not been identified. Look up 'Francisco Botana' in GoogleThis author has not been identified. Look up 'Tomás Recio' in Google

runs on WebDSL