3823 | ADG 2006 : 6th International Workshop on Automated Deduction in Geometry | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2006/08/31-09/02 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://webs.uvigo.es/adg2006/ | Àå ¼Ò | |
ADG 2006 : 6th International Workshop on Automated Deduction in Geometry August 31 - September 2, 2006 Universidad de Vigo, Pontevedra, Spain |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.