数学证明比较纯粹，对计算机是一个搜索问题。计算机语意学比较难，计算机还不如幼儿园的小朋友。

来源: QualityWithoutName 于 2017-06-07 19:26:57 [] [博客] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
请您先登陆，再发跟帖！