国家知识基础设施(national knowledge infrastructure)
...数学概念的知识获取与浅析策略探讨内容导读： 基于知识的定理机器证实、数学软件系统集成、数学语义Web、高级数学教学系统等对数学知识的表示和获取产生了巨大的需求。面向Web的数学内容标注语言,如MathML、OpenMath、OMDoc等受到极大关注。同时,出现了数学领域知识获取的多个工程,如MBase、HELM、MOWGLI等。随着中国科学院计算技术研究所国家知识基础设施(NKI)的建设,我们于2001年开始启动了数学领域知识的表示与获取工作。
基于30个网页-相关网页
国家知识基础设施(national knowledge infrastructure)
national knowledge infrastructure
以上为机器翻译结果，长、整句建议使用 人工翻译 。