Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements Intelligent Geometry Tools
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements Intelligent Geometry Tools
复制标题
第二届自动推理国际研讨会论文集：挑战、应用、方向、典型成就智能几何工具
DOI：
10.4204/eptcs.311.8
复制
发表时间：
2019
影响因子：
--
通讯作者：
Davenport J
中科院分区：
文献类型：
--
作者：
Davenport J
