简讯  

出　　处：《西安电子科技大学学报》2011年第1期53-53,共1页Journal of Xidian University

摘　　要：英国德蒙特福德大学计算机科学技术学院软件技术实验室高级研究员B．C．Moszkowski教授日前来校讲学访问．来访期间，B．C．Moszkowski教授分别作了题为“用时间倒序转换时序逻辑”、“使用itl和tempura进行组合推理”、“无穷模型下的命题区间时序逻辑的完全公理系统”、“使用时序逻辑分析时序逻辑，基于时序逻辑的分层方法”的专题讲座，并与学校师生就相关问题进行了深入交流．

关 键 词：区间时序逻辑 计算机科学技术 软件技术 组合推理 公理系统 逻辑分析 专题讲座 分层方法 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]