电脑体验，效果更佳

颜锋图谱-计算机领域：

相关人员

陈韬略 吕建 韩婷婷

研究领域

递归函数 λ演算 可判定性 分布式计算 π可定义性 π演算 空间逻辑 定义框架

所属机构

江苏南京 南京大学计算机软件新技术国家重点实验室

标签云