Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Autor:
Hoon Hong, Dongming Wang
Disponibilitate:
În depozitul extern în cantități mici
Expediem în 13-18 zile
296.40
lei
Presents the refereed post-proceedings of the 5th International Workshop on Automated Deduction in G...
