李建春 赵东明 王维德 王迤冉 张树仁 张海宾 周清雷 刘保罗

模糊神经网络 区间时序逻辑 教学评估 时序逻辑 命题投影时序逻辑 统一逻辑框架 并发模型 均相

河南郑州 广东广州 陕西西安 福建泉州 郑州大学信息工程学院 西安电子科技大学计算机学院 解放军信息工程大学信息工程学院 华南理工大学自动化科学与工程学院