Pages that link to "Item:Q365999"
From MaRDI portal
The following pages link to Automated deduction in geometry. 9th international workshop, ADG 2012, Edinburgh, UK, September 17--19, 2012. Revised selected papers (Q365999):
Displaying 1 item.