Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Hong, Hoon.
1 2006 Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers International Workshop on Automated Deduction in Geometry (5th : 2004 : Gainesville, Fla.) Rating: Electronic Resources More...
2 2014 Mathematical software -- ICMS 2014 : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings International Congress of Mathematical Software (4th : 2014 : Seoul, Korea) Heidelberg : Springer, 2014 Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers