in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 4869 LNAI, Páginas: 39-51
Conference
6Th International Workshop on Automated Deduction in Geometry, Adg 2006, Date: 31 August 2006 through 2 September 2006, Location: Pontevedra
