Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CONF
ID - DBLP:conf/adg/2010
ED - Schreck, Pascal
ED - Narboux, Julien
ED - Richter-Gebert, Jürgen
TI - Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
T3 - Lecture Notes in Computer Science
VL - 6877
PY - 2011//
PB - Springer
DO - 10.1007/978-3-642-25070-5
UR - https://doi.org/10.1007/978-3-642-25070-5
SN - ISBN 978-3-642-25069-9
ER -
