Pages that link to "Item:Q532630"
From MaRDI portal
The following pages link to Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22--24, 2008. Revised papers (Q532630):
Displaying 1 item.