首页 > 学科斗争,你死我活,寒江孤影,江湖故人,相逢何必曾相识
头像
安德鲁等一个offer到碗里
发布于 2021-06-20 21:44
+ 关注

学科斗争,你死我活,寒江孤影,江湖故人,相逢何必曾相识

   人工智能是计算科学,在2011年吴文俊的机械数学就有讲,到2012年就有人工智能论文发表。模式匹配是命题证明,一组规则定义下的推导。北大的模式匹配是查红斌负责,我当年考了374,去他们实验室没有要我,有一个360的被要了,他告诉我,老师说了只要听话就要。

全部评论

(1) 回帖
加载中...
话题 回帖

推荐话题

相关热帖

近期热帖

近期精华帖

热门推荐