新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
  •   Add to Google

    >> It is the theory that decides what can be observed. - Albert Einstein
    [返回] 中文XML论坛 - 专业的XML技术讨论区计算机理论与工程『 理论计算机科学 』 → 精华帖子列表 查看新帖用户列表


    总在线334人,其中『 理论计算机科学 』上共有 0 位会员与 8 位客人.今日贴子 0 [显示详细列表]

    发新帖   发起新投票   发布小字报 eyounx Logician 
    状态 主 题 作 者 最后更新 | 回复人
    精华帖子 [下载]ALARM!  Solutions for ...wendyneil  2009/2/19 12:55 | ------
    精华帖子 基于直觉主义对对角线方法和停机问题的评论[原创]  ...chzhuang  2008/6/2 15:34 | ------
    精华帖子 数学之美系列一:统计语言模型 [转帖]     </...DMman  2008/5/31 21:26 | ------
    精华帖子 说谎者悖论与哥德尔不完全性定理[原创]     </...chzhuang  2008/5/19 20:34 | ------
    精华帖子 看过一本介绍计算机史前史的书,好象书名是<逻辑的引擎...zhaoming  2007/9/16 15:22 | ------
    精华帖子 小庄:计算机史前史简评     </title><s...chzhuang  2007/6/2 19:05 | ------
    精华帖子 [转帖]对计算机科学的反思     </title>...411274557  2006/11/4 14:52 | ------
    精华帖子 乌托邦式的接口和实现分离技术     </title...卷积内核  2006/9/19 10:47 | ------
    精华帖子 http://eccc.uni-trier.de/e...zqcc  2005/12/19 02:59 | ------
    精华帖子 计算机科学漫谈     </title><scrip...nohup  2006/8/9 05:37 | ------
    精华帖子 A book on Formal Semantics...naturelle  2006/6/29 01:41 | ------
    精华帖子 北京大学计算机系“理论计算机科学基础”2006年期末...Logician  2006/6/20 14:56 | ------
    精华帖子 几封历史上著名的退稿信 (zz)     </tit...Logician  2006/5/29 01:39 | ------
    精华帖子 ACM 图灵奖获得者分类(1966--2005) z...Logician  2006/5/27 13:57 | ------
    精华帖子 国内理论计算机科学学者介绍(2):林惠民 (zz) ...Logician  2006/5/25 23:52 | ------
    精华帖子 国内理论计算机科学学者介绍(1):应明生 (zz) ...Logician  2006/5/25 23:40 | ------
    精华帖子 sir: 从一流学者抽样统计看SCI对计算机学科的适...Logician  2006/5/22 19:43 | ------
    精华帖子 围棋与计算机     </title><script...wondermu  2006/5/11 00:42 | ------
    精华帖子 姚期智:锻造计算机科学拔尖人才     </titl...Logician  2006/5/6 12:13 | ------
    精华帖子 从ACM会议看中国大陆计算机科学与国外的差距    ...wondermu  2006/4/28 19:22 | ------
    精华帖子 清华的软件科学实验班(虽然比较老,但还算有意义吧)(...xiexiexx  2006/4/22 13:31 | ------
    精华帖子 Rule of Simplicity (by C.A...chzhuang  2006/4/18 15:43 | ------
    精华帖子 约翰.麦卡锡 --"人工智能之父"和LISP语言的发...chzhuang  2006/4/18 15:41 | ------
    精华帖子 呵呵,顺序放错了,这个要放最前面,按时间顺序。,莱...chzhuang  2006/4/18 15:32 | ------
    精华帖子 阿伦·图灵 , ,作者:liny信息来源:XY ...chzhuang  2006/4/18 15:26 | ------
    精华帖子 邱奇-图灵论题,邱奇-图灵论题(The Churc...chzhuang  2006/4/18 15:23 | ------
    精华帖子 哥德尔,中国科学院软件研究所  张锦文,  ,...chzhuang  2006/4/18 15:17 | ------
    精华帖子 ●希尔伯特,D.(Hilbert,David,186...chzhuang  2006/4/18 15:17 | ------
    精华帖子 数理逻辑大师们[转帖]     </title><s...chzhuang  2006/4/18 15:16 | ------
    精华帖子 几部著名教材的故事 zz     </title><...Logician  2006/4/5 21:36 | ------
    精华帖子 关于直觉主义数学的一场讨论     </title>...Logician  2006/4/4 00:46 | ------
    精华帖子 一个学习科研与娱乐的网站     </title><...sky33320439  2006/3/24 10:55 | ------
    精华帖子 图灵机杂思 zz     </title><scri...Logician  2006/3/13 21:30 | ------
    精华帖子 谢谢zhaoming兄鼓励,有机会也想读呀!再转载一...chzhuang  2006/2/24 20:00 | ------
    精华帖子 小庄:数理逻辑课程前言[原创]     </titl...chzhuang  2006/2/13 21:09 | ------
    精华帖子 [下载] 面向计算机科学的数理逻辑     </ti...Logician  2006/2/10 15:09 | ------
    精华帖子 [下载] 面向计算机科学的数理逻辑     </ti...Logician  2006/2/10 15:09 | ------
    精华帖子 Computing over the Reals: ...Logician  2005/12/19 00:57 | ------
    精华帖子 图灵奖得主姚期智观点:不可靠的量子计算机 (zz) ...Logician  2005/4/18 17:08 | ------
    精华帖子 二十世纪的数学 - Michael Atiyah  ...Logician  2005/12/19 00:59 | ------
    页次:1/2页   每页40 总数67 分页: [1] [2]

     -=> 中文XML论坛 - 专业的XML技术讨论区图例 所有时间均为 - 北京时间  
    开放的主题 回复超过10贴 锁定的主题 固定顶端的主题 精华帖子 投票帖子
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    62.500ms