-
孙智伟
-
-
- 所属机构:南京大学数学系
- 所在地区:江苏省 南京市
- 研究方向:理学
- 发文基金:国家自然科学基金
相关作者
- 丁德成
- 作品数：25被引量：17H指数：2
- 供职机构：南京大学数学系
- 研究主题：开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
- 苏开乐
- 作品数：48被引量：152H指数：8
- 供职机构：浙江师范大学数理与信息工程学院
- 研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
- 钱磊
- 作品数：2被引量：4H指数：1
- 供职机构：南京大学数学系
- 研究主题：开放逻辑 不动点 类算子
- 杨思熳
- 作品数：1被引量：0H指数：0
- 供职机构：南京大学数学系
- 研究主题：MODULI N+ INTEGERS COVER COVERS
- 胡忠
- 作品数：2被引量：1H指数：1
- 供职机构：南京大学数学系
- 研究主题：整数环 Z 单位根 最小素因子 剩余类
