Automated Deduction in Geometry, 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, Series: Lecture Notes in Computer Science, Vol. 7993 Subseries: Lecture Notes in Artificial Intelligence
Automated Deduction in Geometry, 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, Series: Lecture Notes in Computer Science, Vol. 7993 Subseries: Lecture Notes in Artificial Intelligence
复制标题
几何自动演绎，第九届国际研讨会，ADG 2012，英国爱丁堡，2012 年 9 月 17-19 日。修订后的精选论文，系列：计算机科学讲义，卷。
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Tetsuo Ida and Jacques Fleuriot (Eds.)
中科院分区：
文献类型：
--
作者：
Omurzakov N;Djumagulova A;Nakajima T;Tetsuo Ida and Jacques Fleuriot (Eds.)
