Pages that link to "Item:Q645925"
From MaRDI portal
The following pages link to Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22--24, 2010. Revised selected papers (Q645925):
Displaying 1 item.