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

    >> It is the theory that decides what can be observed. - Albert Einstein
    [返回] W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL计算机理论与工程『 理论计算机科学 』 → 帖子列表 查看新帖用户列表


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

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    需要回复[转帖]世界七大数学难题之一: P =? NP, 七大数学难题中唯一的一个计算机科学问题pr0phet0/8137  2007/6/27 22:22 | pr0phet
    开放主题小庄:谁来拍“第三次数学危机”这部电影?[原创]chzhuang1/6580  2007/6/25 19:20 | wealk
    需要回复跪求~~~计算机密码学新技术519310060/9389  2007/6/24 21:24 | 51931006
    开放主题学形式化方法的给个建议吧shannon_sui7/8656  2007/6/23 01:16 | doubleman
    开放主题[求助]计算理论基础wjsam2/10928  2007/6/23 01:08 | doubleman
    需要回复研究model checking的请进anarchist0/5192  2007/6/20 16:14 | anarchist
    开放主题请问有同去IEEE Tencon会议的人吗?wangluoluowang4/11546  2007/6/18 14:14 | vipsupply
    开放主题[下载]2006年下半年(11月)软考试题免费下载zl06092/7543  2007/6/18 14:06 | vipsupply
    需要回复会议信息ieliubl0/4652  2007/6/16 11:01 | ieliubl
    热门主题有关类型系统的入门  [ 1 2 3 ]shaoshao21/32838  2007/6/13 04:02 | GaloisAbel
    开放主题Google创始人:成功之后
      科研生涯
    DMman1/18495  2007/6/5 09:10 | timothy
    开放主题求助:逻辑编程logic programmingtj-figo1/6377  2007/6/2 21:02 | chzhuang
    开放主题[推荐] V.I. Arnold 论数学教育 (经典)Logician4/15070  2007/6/2 08:53 | with0out
    热门主题哪位有分布式系统原理与范型的电子英文版  [ 1 2 ]haperkelu14/26974  2007/5/30 01:39 | zjg_robin
    需要回复[求助]什么是"Zipf-like 分布"binaryluo0/8352  2007/5/24 20:09 | binaryluo
    需要回复研究软件形式化方法、模型检验、自动定理证明、Multi-Agent建模推理的,请加入群38803545gaohj10000/6789  2007/5/21 20:42 | gaohj1000
    开放主题求高手指点迷津:mu演算的问题shenshenqiqi1/6295  2007/5/21 01:01 | wol
    开放主题抽象状态自动机ASM属于哪种形式化方法?shannon_sui1/5483  2007/5/21 00:51 | wol
    开放主题关于理论计算机科学研究的一点理解
      Logics
    yneversky5/9735  2007/5/13 21:09 | dzy001
    需要回复请前辈牛人们进来帮帮忙吧!即将毕业0/5330  2007/5/11 23:38 | 即将毕业
    开放主题[交流]对model checking方向有兴趣的朋友们一起交流啊tanialex2/8874  2007/5/10 21:14 | liwup
    开放主题研究model checking的请进injuredwolf8/12120  2007/5/10 21:00 | liwup
    开放主题求助高手,关于数据结构丝雨4/6390  2007/5/8 11:27 | dabile
    需要回复求助!若雨0/4775  2007/5/6 12:14 | 若雨
    需要回复求助:关于流密码算法:RABBIT中文描述zzh198303210/5772  2007/4/28 10:15 | zzh19830321
    开放主题旧读重温之《希尔伯特》 zzLogician6/10501  2007/4/28 06:22 | programfanny
    精华帖子一个学习科研与娱乐的网站  [ 1 2 ]sky3332043913/31939  2007/4/22 12:52 | sweetking
    热门主题想找有共同研究兴趣的朋友研究一篇文章  [ 1 2 3 4 ]
      科研生涯
    justzpy37/163658  2007/4/21 20:52 | justzpy
    开放主题余代数(coalgebra)研二3/6363  2007/4/16 09:25 | xueleicao2007
    需要回复[求助]在学理论计算机,不知道谁能上传一份北大刘田老师的理论计算机科学基础课件cauzcw0/6129  2007/4/14 19:34 | cauzcw
    需要回复询问1下xieqi11110/5046  2007/4/13 21:37 | xieqi1111
    需要回复有想考中科院的博士的朋友吗?研二0/5260  2007/4/11 13:32 | 研二
    精华帖子图灵机杂思 zzLogician3/14538  2007/4/6 07:26 | wjwenoch
    开放主题[CFP]3rd International Conference on Semantics, Knowledge and Grid (SKG 2007) (submission:07-05-20; conference:07-10-29~31 Xi'an)
      科研生涯 | 投稿信息
    admin7/58861  2007/4/3 16:34 | tainechill
    开放主题[求助]请熟悉计算机科学系课程的高手进止疼片4/9460  2007/3/30 09:54 | archlinux
    需要回复分程序公理语义anarchist0/6834  2007/3/28 16:26 | anarchist
    开放主题[求助]关于某些图灵机语言类的问题
      计算理论
    chchtheory3/13593  2007/3/20 10:21 | huxinhuwei
    开放主题求助:mu演算,s1s逻辑,buchi自动机,奇偶博弈(parity game)的中文资料shenshenqiqi3/8919  2007/3/17 12:58 | Templarwzy
    需要回复关于信噪比SNR卷积内核0/9218  2007/3/16 14:56 | 卷积内核
    需要回复XPATh查询的问题shenshenqiqi0/5206  2007/3/7 11:49 | shenshenqiqi
    页次:37/39页 每页40 主题数1536
    分页:  上一页  下一页  97 31 32 33 34 35 36 37 38 39 : 转到:
    本版标题搜索    搜索范围   
    站内全文搜索 

     -=> W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL图例所有时间均为 - 北京时间  
    开放的主题未被回复的主题 回复超过10贴 锁定的主题 固顶的主题 总固顶的主题 精华帖子 投票帖子
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    2,316.406ms