Supported by the National Natural Science Foundation of China under Grant No.10331010 (国家自然科学基金); the Innovation Foundation for Doctors of Shaanxi Normal University of China (陕西师范大学博士创新基金); the Outstanding Youth Foundation of Lanzhou University of Technology of China (兰州理工大学优秀青年基金)
李骏,王国俊. G?del n值命题逻辑中命题的α-真度理论.软件学报,2007,18(1):33-39
复制