Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Journal)

Activity: Publication peer-review and editorial work typesEditorial activity


Volume 7993
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
PeriodMar 2013
Type of journalJournal