2024年8月24日
星期六
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
钱磊
作品数:
2
被引量:4
H指数:1
供职机构:
南京大学数学系
更多>>
发文基金:
江苏省自然科学基金
国家高技术研究发展计划
更多>>
相关领域:
理学
更多>>
合作作者
苏开乐
南京大学数学系
丁德成
南京大学数学系
孙智伟
南京大学数学系
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
3个
理学
2个
自动化与计算...
1个
电子电信
主题
3个
定理
3个
动点
3个
多项式
3个
英文
3个
算子
3个
开放逻辑
3个
类算子
2个
断言
2个
多项式时间
2个
优先序
2个
实数
2个
连续统
2个
连续统假设
2个
化归
1个
单位根
1个
等式
1个
递归
1个
递归函数
1个
递归可枚举度
1个
递归可枚举集
机构
3个
南京大学
2个
汕头大学
1个
北京大学
1个
河南科技大学
1个
清华大学
1个
扬州大学
1个
浙江师范大学
1个
中山大学
资助
3个
国家高技术研...
3个
国家自然科学...
3个
江苏省自然科...
2个
国家重点基础...
1个
高等学校优秀...
1个
广东省科技攻...
1个
广东省自然科...
1个
国家社会科学...
1个
教育部留学回...
1个
中国博士后科...
1个
国家杰出青年...
1个
德国研究基金
1个
广东省高校优...
1个
广东省科技计...
1个
广西青年科学...
1个
国家教育部博...
1个
教育部“新世...
1个
中央高校基本...
传媒
3个
科学通报
3个
中国科学(A...
3个
计算机学报
3个
湖南师范大学...
3个
数学年刊(A...
2个
数学学报(中...
2个
模式识别与人...
2个
南京大学学报...
2个
软件学报
2个
南京大学学报...
1个
襄樊学院学报
1个
数学进展
1个
计算机研究与...
1个
华中科技大学...
1个
计算机工程与...
1个
中山大学学报...
1个
小型微型计算...
1个
计算机工程与...
1个
中国科学(E...
1个
Chines...
地区
2个
江苏省
1个
浙江省
共
3
条 记 录,以下是 1-3
全选
清除
导出
丁德成
供职机构:南京大学数学系
研究主题:开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
发表作品
相关人物
供职机构
所获资助
研究领域
苏开乐
供职机构:浙江师范大学数理与信息工程学院
研究主题:开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
发表作品
相关人物
供职机构
所获资助
研究领域
孙智伟
供职机构:南京大学数学系
研究主题:同余式 剩余类 Z 二项式系数 级数
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张