【数学机械化】吴文俊写转中的数学机械化是什么意思

发布时间：2021-04-02 12:36:07

吴文俊写转中的数学机械化是什么意思 数学

网友回答

【答案】 吴文俊写转中的数学机械化是---
　　机器（自动化）推理证明.
以上问题属网友观点，不代表本站立场，仅供参考！