陈韬略 吕建 冯扬悦 俞春 颜锋 杨俊宁 阿拉腾图雅 李斌

半结构化数据 χ演算 运行时错误 并发理论 树逻辑 模态逻辑 环境演算 基本农田 标号转移系统 类型演化 互模拟 模型检测 进程代数 空间定位 确定 移动计算 GIS技术 类型系统 内涵性 移动环境演算 不可判定性