6. ADG 2006:
Pontevedra,
SpainA
Francisco Botana, Tomás Recio (Eds.):
Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers.
Lecture Notes in Computer Science 4869 Springer 2007, ISBN 978-3-540-77355-9 BibTeX
Copyright © Sat May 16 22:56:20 2009
by Michael Ley (ley@uni-trier.de)