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

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


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

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    开放主题怎么证明{a^i|i为素数}不是上下文无关语言(CFL)?[求助]hegonghe2/4539  2008/1/12 11:47 | hegonghe
    需要回复[求助]liping06030/4972  2008/1/11 10:56 | liping0603
    需要回复研究生可以参加ACM大赛吗?hushiqing0/4617  2008/1/9 20:42 | hushiqing
    需要回复求助!!!!计算机问题疯疯康康0/3508  2007/12/29 18:31 | 疯疯康康
    开放主题面向计算机科学的数理逻辑飞鹰战士6/11104  2007/12/27 11:16 | fs_xxzx
    开放主题袁崇义《Petri网原理》学习问题集,恳请达人解惑~vssivl2/4740  2007/12/26 12:19 | vssivl
    开放主题帮一下忙求知者2/3656  2007/12/25 16:27 | lxs85
    需要回复揭秘C中的参数传递问题martian_person0/2797  2007/12/25 15:00 | martian_person
    需要回复[求助]哈夫曼树的构造sjbird3310/4176  2007/12/19 09:24 | sjbird331
    开放主题陶哲轩:一个华裔数学天才的传奇Logician9/13140  2007/12/17 08:28 | netjian
    开放主题中科院计算所网格与服务计算研究中心博士后招聘.
      科研生涯 | 招生招聘
    Viali6/31508  2007/12/10 20:01 | julie85
    需要回复求助:类型效果系统 type and effect system 的参考资料liyulongmen0/3549  2007/12/10 16:04 | liyulongmen
    需要回复mengwen19870/2870  2007/12/5 17:21 | mengwen1987
    需要回复想问一下:什么是软件模型检验cqyanbo0/3649  2007/12/5 16:03 | cqyanbo
    开放主题请达人推荐本modal logic的好书吧ICT_RemyChan1/4948  2007/12/5 09:08 | wanggou
    开放主题能给讲讲啥叫对角线原则?wu5zg4/7066  2007/11/30 15:52 | wanggou
    开放主题太冷清了啊wanggou1/4810  2007/11/30 14:40 | admin
    精华帖子小庄:计算机史前史简评chzhuang4/15447  2007/11/27 22:48 | PRC001
    需要回复[求助]查找中的查找长度sjbird3310/4427  2007/11/18 18:10 | sjbird331
    需要回复光棍节快乐!zhangxinzhe0/3426  2007/11/11 20:17 | zhangxinzhe
    开放主题[求助]求助离散数学两题sjbird3312/4137  2007/11/11 17:09 | sjbird331
    需要回复图结构数据搜索chengshuming0/3500  2007/11/11 09:16 | chengshuming
    需要回复那位有《元数学导论》电子版?给我发一份可以么?wanggou0/3556  2007/11/9 09:42 | wanggou
    热门主题求助:形式语义学的相关材料  [ 1 2 ]
      Logics
    飞鹰战士14/35266  2007/11/7 16:51 | liukun19851007
    需要回复有关linux的问题weibingyang0/3067  2007/10/29 11:32 | weibingyang
    需要回复低价出计算机相关书籍!!!ozqingqing0/3545  2007/10/27 14:19 | ozqingqing
    需要回复求一本书:《communication and concurrency》liyulongmen0/5376  2007/10/26 14:54 | liyulongmen
    需要回复高手请来帮帮忙~~~急~谢谢tbmdog0/2915  2007/10/26 12:30 | tbmdog
    开放主题[求助]程序设计基础taveller1/4946  2007/10/20 01:26 | taveller
    开放主题[求助]谈谈事物的数字化taveller3/4538  2007/10/20 01:31 | taveller
    热门主题IBM中国研究院招Policy/Rule方面人才  [ 1 2 ]
      科研生涯 | 招生招聘
    orangebench15/99019  2007/10/16 02:47 | sawyer
    开放主题[求助]高可信计算的方向yuwei200151/5322  2007/10/13 11:45 | ys_wang168
    开放主题考试怎样才能得高分?qibiao173/7686  2007/10/10 21:00 | hinder
    开放主题最近我跟导师做“863带QoS支持的嵌入式构件语义”
      Web Services | Semantic Web
    wyqiang2/7266  2007/10/10 09:42 | ruixi06
    需要回复招聘图像算法工程师handlty0/4655  2007/10/8 14:05 | handlty
    需要回复帮忙讲解一下,谢谢hhltl13140/3437  2007/10/6 10:59 | hhltl1314
    开放主题关于形式语言luxian2/6239  2007/9/29 17:01 | lhx_123
    需要回复电子机构lhx_1230/3071  2007/9/29 16:46 | lhx_123
    开放主题重写逻辑Rose_1231/4247  2007/9/29 16:45 | lhx_123
    需要回复系统分析员的能力一粒米0/3344  2007/9/29 10:34 | 一粒米
    页次:35/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号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    171.875ms