期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
集成式数学计算软件
1
作者
文书槐
傅鹏
+1 位作者
张彦哲
葛颖娣
《兰州大学学报(自然科学版)》
CAS
CSCD
北大核心
2003年第4期34-37,共4页
当前数学软件资源的现状存在着资源丰富而又不能很好满足需要的矛盾 ,本文分析了产生这个矛盾的原因 ,提出开发数学软件的集成的方法 。
关键词
集成
目录树
解释器
下载PDF
职称材料
基于指称语义的可扩展标记语言的语义研究
2
作者
文书槐
李振芳
《计算机科学》
CSCD
北大核心
2002年第z1期294-296,共3页
0引言 可扩展标记语言XML是W3C根据标准通用标记语言SGML设计的,是SGML的一个子集.XML替代HTML成为第二代Web应用的基础,也是下一代网络应用的基石[1,2].……
下载PDF
职称材料
题名
集成式数学计算软件
1
作者
文书槐
傅鹏
张彦哲
葛颖娣
机构
兰州大学信息科学与工程学院
西安交通大学电子与信息工程学院
出处
《兰州大学学报(自然科学版)》
CAS
CSCD
北大核心
2003年第4期34-37,共4页
基金
国家"973"项目"数学机械化与自动推理平台"资助项目 ( G1 9980 3 0 6)
文摘
当前数学软件资源的现状存在着资源丰富而又不能很好满足需要的矛盾 ,本文分析了产生这个矛盾的原因 ,提出开发数学软件的集成的方法 。
关键词
集成
目录树
解释器
Keywords
integration
directory tree
interpreter
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
O25 [理学—数学]
下载PDF
职称材料
题名
基于指称语义的可扩展标记语言的语义研究
2
作者
文书槐
李振芳
出处
《计算机科学》
CSCD
北大核心
2002年第z1期294-296,共3页
基金
国家‘973’项目"数学机械化与自动推理平台"资助课题(No:G19980306).
文摘
0引言 可扩展标记语言XML是W3C根据标准通用标记语言SGML设计的,是SGML的一个子集.XML替代HTML成为第二代Web应用的基础,也是下一代网络应用的基石[1,2].……
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
集成式数学计算软件
文书槐
傅鹏
张彦哲
葛颖娣
《兰州大学学报(自然科学版)》
CAS
CSCD
北大核心
2003
0
下载PDF
职称材料
2
基于指称语义的可扩展标记语言的语义研究
文书槐
李振芳
《计算机科学》
CSCD
北大核心
2002
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部