西西河

主题:洪加威 - 似乎比很多图灵奖得主还牛? -- Matt

共:💬8 🌺42
全看分页树展 · 主题 跟帖
家园 花!多谢普及,受教了

好相机的北大有位老先生也是搞机器定理证明的,得了某种国内大奖。跟这个有关系吗?

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河