top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci







Hong, Hoon
ID: 976049

Opere

Seleziona tutte
Deseleziona


Automated deduction in geometry
Espandi opera
...
ISSAC 2003 : proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation : August 3-6, 2003, Philadelphia, PA
Espandi opera
...
PASCO '97: International Symposium on Parallel Symbolic Computation
Espandi opera
...