Supported by the National Natural Science Foundation of China under Grant Nos.60373098, 60173006 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2003AA118020 (国家高技术研究发展计划(863)); the Natural Science Foundation of Jilin Province of China under Grant No.20030523 (吉林省自然科学基金)
刘大有,胡鹤,王生生,谢琦.时空推理研究进展.软件学报,2004,15(8):1141-1149
复制