|
国家科技期刊平台
|
注册
中文
EN
首页
|
期刊导航
|
计算机工程与应用
|
元数学对计算机科学的启示
元数学对计算机科学的启示
戴青云
唐立中
计算机工程与应用
2003，Vol.39
Issue(2)：94-95,2.
下载
✕
计算机工程与应用
2003，Vol.39
Issue(2)
：94-95,2.
元数学对计算机科学的启示
The Revelation to the Computer Science of Meta-Mathematics
戴青云
1
唐立中
1
作者信息
1.
东南大学计算机系,南京,210096
折叠
摘要
关键词
函数
/
递归
/
原始递归函数
/
原始递归模式
/
原始递归描述
/
形式系统
分类
信息技术与安全科学
引用本文
复制引用
戴青云,唐立中..元数学对计算机科学的启示[J].计算机工程与应用,2003,39(2):94-95,2.
计算机工程与应用
OA
北大核心
CSCD
CSTPCD
ISSN：
1002-8331
下载
访问量
0
|
下载量
0
段落导航
相关论文
摘要
关键词
分类
引用文本
