您的位置： 专家智库 > >

文书槐

作品数：3 被引量：0H指数：0
供职机构：兰州大学信息科学与工程学院更多>>
发文基金：国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 3篇自动化与计算...
  • 1篇理学

主题

  • 2篇语义
  • 2篇语义研究
  • 2篇指称语义
  • 2篇可扩展
  • 2篇可扩展标记语...
  • 2篇扩展标记语言
  • 2篇XML
  • 2篇MATHML
  • 2篇标记语言
  • 1篇数学标记语言
  • 1篇目录树
  • 1篇解释器
  • 1篇集成式

机构

  • 3篇兰州大学
  • 1篇西安交通大学

作者

  • 3篇文书槐
  • 1篇李振芳
  • 1篇张彦哲
  • 1篇葛颖娣
  • 1篇傅鹏

传媒

  • 1篇兰州大学学报...
  • 1篇2002年全...

年份

  • 1篇2003
  • 2篇2002
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于指称语义的可扩展标记语言的语义研究
指称语义是一种描述程序设计语言语义的模型.XML(可扩展标记语言)是应用非常广泛的标记语言,它的语义能被人理解但不能被计算机理解.该文提出了用指称语义来定义XML可被计算机理解的语义的方法,这种方法使得人和计算机可以方便...
文书槐
关键词：指称语义XMLMATHML
文献传递
基于指称语义的可扩展标记语言的语义研究
本文的工作就是考虑如何应用指称语义来描述XML的语义,具体的讨论是针对MathML展开的,由于MathML是XML在数学领域的应用,所以这种讨论并不失一般性.另外,本文的工作还包括开发一个面向MathML的解释器来解释M...
文书槐李振芳
关键词：指称语义XMLMATHML可扩展标记语言数学标记语言
文献传递
集成式数学计算软件
2003年
当前数学软件资源的现状存在着资源丰富而又不能很好满足需要的矛盾 ,本文分析了产生这个矛盾的原因 ,提出开发数学软件的集成的方法 。
文书槐傅鹏张彦哲葛颖娣
关键词：目录树解释器
全选 清除 导出
共1页<1>
聚类工具0