ZHU Wu-Jia
Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, ChinaLI Wei
State Key Laboratory of Software Development Environment Beijing University of Aeronautics and Astronautics, Beijing 100191, ChinaSUI Yue-Fei
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, ChinaLUO Jie
State Key Laboratory of Software Development Environment Beijing University of Aeronautics and Astronautics, Beijing 100191, ChinaNational Program on Key Basic Research Project (973) (2005CB321901); Open Fund of the State Key Laboratory of Software Development Environment (SKLSDE-2010KF-06)
朱梧槚,李未,眭跃飞,罗杰.命题中介逻辑的可靠和完备Gentzen推导系统.软件学报,2016,27(2):209-218
Copy