-
丁德成
-
-
- 所属机构:南京大学数学系
- 所在地区:江苏省 南京市
- 研究方向:理学
- 发文基金:国家自然科学基金
相关作者
- 苏开乐
- 作品数：48被引量：153H指数：8
- 供职机构：浙江师范大学数理与信息工程学院
- 研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
- 赵希顺
- 作品数：25被引量：16H指数：2
- 供职机构：中山大学人文科学学院逻辑与认知研究所
- 研究主题：英文 逻辑 表示式 LAR GU
- 孙智伟
- 作品数：25被引量：12H指数：2
- 供职机构：南京大学数学系
- 研究主题：同余式 剩余类 Z 二项式系数 级数
- 许道云
- 作品数：164被引量：323H指数：9
- 供职机构：贵州大学计算机科学与技术学院
- 研究主题：SAT问题 极小不可满足公式 正则 英文 收敛性
- 钱磊
- 作品数：2被引量：4H指数：1
- 供职机构：南京大学数学系
- 研究主题：开放逻辑 不动点 类算子
