宋方敏 宫宁生 肖奚安 顾红芳 王洪光 李斌 朱朝晖 李娜 周勇 张东摩 洪龙 杜国平

情境演算 复合型安全协议 不可否认性 实无穷 对角线方法 试管方式 公理集合论 表面方式 Hamilton圈 行动理论 不可数无穷值逻辑 概括原则 DNA计算 智能体理论 智能体模型 潜无穷 协议认证 直觉主义 泛逻辑 悖论 自然数系统

南京航空航天大学信息科学与技术学院 南京大学计算机软件新技术国家重点实验室 中国人民解放军理工大学理学院 南京大学计算机软件新技术国家重点实验室南... 南京工业大学信息科学与工程学院 南京航空航天大学信息科学与技术学院南京 南京航空航天大学信 南京航空航天大学计算机科学与工程系