Supported by the National Natural Science Foundation of China under Grant Nos.60573070, 60496327 (国家自然科学基金); the Jiangsu Provincial Natural Science Foundation of China under Grant No.BK2007191 (江苏省自然科学基金); the Fok Ying-Tung Education Foundation of China under Grant No.101070 (霍英东教育基金)
肖文洁,朱朝晖.有缺指派下的信念修正逻辑.软件学报,2010,21(1):47-54
复制