问题 填空题

我国的著名数学家()在机器证明数学问题上进行了卓有成效的工作。

答案

参考答案:吴文俊

选择题
判断题