DENG Shao-Bo
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, China;University of Chinese Academy of Sciences, Beijing 100049, China;Information Engineering, NanChang Institute of Technology, Nanchang 330099, ChinaLI Min
Information Engineering, NanChang Institute of Technology, Nanchang 330099, ChinaCAO Cun-Gen
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, ChinaSUI Yue-Fei
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, China邓少波,黎敏,曹存根,眭跃飞.具有模态词□φ=□1V□2φ且可靠与完备的公理系统.软件学报,2015,26(9):2286-2296
Copy