欧阳创 许斌 李舟军 周云霞 金桥生 杨思春 周倜 王传义 李梦君 瞿坦 汪秉文 刘万伟

信息时代 自然语言 进程代数 工作流 叙述形式 设计基础 完备性定理 Petri网 巫者 机器翻译 保密性 反例 福柯 孔子 逻辑程序设计 歧义 安全协议 知识学 认证性 知识分子命运