Hoon Hong
Identifiers
- Open LibraryOL8025610A
Top Subjects
- Automatic theorem proving (1)
- Logic, symbolic and mathematical (1)
- Geometry, data processing (1)
Books by Hoon Hong
Total count: 2
-
Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised PapersSpringer London, Limited2006-01-01
-
Mathematical Software -- ICMS 20144th International Conference, Seoul, South Korea, August 5-9, 2014, ProceedingsSpringer London, Limited2014-01-01