主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第7期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
曹存根,眭跃飞,孙瑜,曾庆田.国家知识基础设施中的数学知识表示.软件学报,2006,17(8):1731-1742
国家知识基础设施中的数学知识表示
Representation of Mathematical Knowledge in National Knowledge Infrastructure
投稿时间:2005-06-24  修订日期:2005-12-12
DOI:
中文关键词:  数学知识  框架  描述逻辑  本体
英文关键词:mathematical knowledge  frame  description logic  ontology
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60273019, 60373042, 60496326, 60573063, 60573064 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant Nos.2003CB317008, G1999032701 (国家重点基础研究发展计划(973))