-
宋方敏
-
-
- 所属机构:南京大学计算机科学与技术系
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 吴楠
- 作品数：23被引量：133H指数：7
- 供职机构：南京大学计算机科学与技术系
- 研究主题：量子算法 量子计算 复用 服务平台 云计算
- 肖奚安
- 作品数：41被引量：152H指数：7
- 供职机构：解放军理工大学理学院
- 研究主题：中介逻辑 公理集合论 中介 命题演算 数理逻辑
- 朱梧槚
- 作品数：75被引量：302H指数：9
- 供职机构：南京航空航天大学计算机科学与技术学院计算机科学与技术系
- 研究主题：中介逻辑 实无限 公理集合论 中介 人工智能
- 钱振江
- 作品数：87被引量：122H指数：5
- 供职机构：常熟理工学院
- 研究主题：操作系统 形式化验证 形式化设计 定理证明 形式化
- 顾红芳
- 作品数：11被引量：160H指数：4
- 供职机构：解放军理工大学理学院
- 研究主题：公理集合论 直觉主义 实无穷 互反判断矩阵 互补判断矩阵
