BriefGPT.xyz
Ask
alpha
关键词
lesson plan
搜索结果 - 1
中学自动推理入门：四个几何问题
本文探讨了在信息和通信技术的帮助下使用自动推理工具解决几何问题的实验，以解决在中学自动推理系统引入中所面临的难题。
PDF
2 years ago
Prev
Next