Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22--24, 2010. Revised selected papers
From MaRDI portal
Publication:645925
DOI10.1007/978-3-642-25070-5zbMATH Open1227.68009OpenAlexW3111229561MaRDI QIDQ645925
Author name not available (Why is that?)
Publication date: 10 November 2011
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-25070-5
No records found.
This page was built for publication: Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22--24, 2010. Revised selected papers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645925)