论文部分内容阅读
中学几何过程本体的自动生成及其在机器证明中的应用
【出 处】
:
电子科技大学
【发表日期】
:
2013年01期
其他文献