-
钱磊
-

-

- 所属机构:南京大学数学系
- 所在地区:江苏省 南京市
- 研究方向:理学
- 发文基金:江苏省自然科学基金
相关作者
- 丁德成

- 作品数:25被引量:17H指数:2
- 供职机构:南京大学数学系
- 研究主题:开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
- 苏开乐

- 作品数:48被引量:153H指数:8
- 供职机构:浙江师范大学数理与信息工程学院
- 研究主题:开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
- 孙智伟

- 作品数:26被引量:18H指数:3
- 供职机构:南京大学数学系
- 研究主题:同余式 二项式系数 级数 剩余类 调和数