艾丽蓉 韩俊刚 李梅 陈小平 刘贵全 金翊 吕养天 何华灿 刘志模 李祥 滕亮 郭建 范焱 袁由光 蔡庆生

不完全Kripke结构 情形演算 逻辑代数 谓词逻辑 计算机结构 主体 光学向量矩阵乘法 判定问题 当且仅当 NP完全问题 矢量式 SQL语言 光学处理器 光计算机 星算法 空值 三进制加法 模型检验 副作用问题 布尔代数 幂集代数 向量矩阵乘法 多主体系统 模态转移系统