填空題

我國的著名數(shù)學(xué)家()在機器證明數(shù)學(xué)問題上進行了卓有成效的工作。

答案: 吳文俊
微信掃碼免費搜題