以文本方式查看主题 - W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL (http://bbs.xml.org.cn/index.asp) -- 『 科研生涯 』 (http://bbs.xml.org.cn/list.asp?boardid=70) ---- 令人震惊的帖子! (http://bbs.xml.org.cn/dispbbs.asp?boardid=70&rootid=&id=93022) |
-- 作者:good_lucky8 -- 发布时间:7/30/2011 3:11:00 PM -- 令人震惊的帖子! 这是一个冷人震惊的帖子,它来自csdn论坛: 四色定理纯数学证明,真的成功了?http://topic.csdn.net/u/20110628/20/4364b342-0aa2-4153-acaf-c0a2a306219b.html?76496。 有激辩,有成果,打破计算机辅助证明的经典 ![]() 因为作者最后修改稿地址在帖子后部,所以你不想看完帖子的话可直接访问作者博客:http://jyjkly.blog.163.com/blog/static/174440309201161803017677/. |
-- 作者:nv2118 -- 发布时间:10/27/2011 9:15:00 PM -- 这软文太不成功了,真的。 |
-- 作者:dcllj -- 发布时间:11/6/2011 9:48:00 PM -- 又遇标题党。 |
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
4,335.938ms |