您的位置： 专家智库 > >

丁德成

作品数：25 被引量：17H指数：2
供职机构：南京大学数学系更多>>
发文基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

领域

  • 12个理学
  • 8个自动化与计算...
  • 5个电子电信
  • 5个文化科学
  • 4个经济管理
  • 3个哲学宗教
  • 3个自然科学总论
  • 1个生物学
  • 1个天文地球
  • 1个化学工程
  • 1个机械工程
  • 1个水利工程
  • 1个环境科学与工...
  • 1个政治法律
  • 1个军事
  • 1个语言文字
  • 1个文学
  • 1个历史地理

主题

  • 9个英文
  • 7个计算机
  • 7个计算机科学
  • 6个算子
  • 6个逻辑
  • 5个多项式
  • 4个递归
  • 4个定理
  • 4个动点
  • 4个实数
  • 3个代码
  • 3个等价
  • 3个等式
  • 3个递归可枚举度
  • 3个递归论
  • 3个多项式时间
  • 2个等价关系
  • 2个递归函数
  • 2个电子商务
  • 2个多目标

机构

  • 10个南京大学
  • 3个东南大学
  • 2个中山大学
  • 1个贵州大学
  • 1个贵州师范大学
  • 1个北京大学
  • 1个贵州科学院
  • 1个国防科学技术...
  • 1个河南科技大学
  • 1个北京航空航天...
  • 1个清华大学
  • 1个上海交通大学
  • 1个武汉大学
  • 1个襄樊学院
  • 1个汕头大学
  • 1个西南大学
  • 1个浙江师范大学
  • 1个西南师范大学

资助

  • 9个国家自然科学...
  • 8个国家高技术研...
  • 5个江苏省自然科...
  • 3个国家重点基础...
  • 3个国家杰出青年...
  • 2个贵州省科学技...
  • 2个中国博士后科...
  • 2个贵州省自然科...
  • 2个贵州省教育厅...
  • 2个贵州省省长基...
  • 2个贵州省优秀科...
  • 2个国家教育部博...
  • 2个江苏省博士后...
  • 2个教育部“新世...
  • 1个高等学校骨干...
  • 1个高等学校国家...
  • 1个高等学校优秀...
  • 1个广东省科技攻...
  • 1个广东省自然科...
  • 1个贵州省科技攻...

传媒

  • 7个软件学报
  • 6个科学通报
  • 6个计算机科学
  • 5个计算机研究与...
  • 5个中国科学（A...
  • 5个计算机学报
  • 5个南京大学学报...
  • 4个计算机应用
  • 4个计算机工程与...
  • 4个逻辑学研究
  • 3个南京大学学报...
  • 3个湖南师范大学...
  • 3个中国科学（E...
  • 3个计算机与数字...
  • 3个数学年刊（A...
  • 3个山东大学学报...
  • 2个数学学报（中...
  • 2个东南大学学报...
  • 2个华中科技大学...
  • 2个计算机工程与...

地区

  • 7个江苏省
  • 2个贵州省
  • 1个湖北省
  • 1个浙江省
  • 1个广东省
共 12 条 记 录，以下是 1-10
苏开乐
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
发表作品相关人物供职机构所获资助研究领域
赵希顺
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：英文 逻辑 表示式 LAR GU
发表作品相关人物供职机构所获资助研究领域
孙智伟
供职机构：南京大学数学系
研究主题：同余式 二项式系数 级数 剩余类 调和数
发表作品相关人物供职机构所获资助研究领域
许道云
供职机构：贵州大学计算机科学与技术学院
研究主题：SAT问题 极小不可满足公式 正则 英文 收敛性
发表作品相关人物供职机构所获资助研究领域
钱磊
供职机构：南京大学数学系
研究主题：开放逻辑 不动点 类算子
发表作品相关人物供职机构所获资助研究领域
徐小萍
供职机构：襄樊学院
研究主题：复杂度 MU 极小不可满足公式 命题逻辑 消解
发表作品相关人物供职机构所获资助研究领域
喻良
供职机构：南京大学
研究主题：可计算性理论 存在性 不可数 LR 归约
发表作品相关人物供职机构所获资助研究领域
陈振宇
供职机构：南京大学
研究主题：测试用例 软件测试 聚类 源代码 测试脚本
发表作品相关人物供职机构所获资助研究领域
张明义
供职机构：贵州科学院
研究主题：句型 缺省理论 缺省逻辑 黑颈鹤 种群结构
发表作品相关人物供职机构所获资助研究领域
徐宝文
供职机构：南京大学
研究主题：软件测试 测试用例 面向对象 ADA 程序切片
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0