Supported by the National Natural Science Foundation of China under Grant Nos.60273019, 60373042, 60496326, 60573063, 60573064 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant Nos.2003CB317008, G1999032701 (国家重点基础研究发展计划(973))
曹存根,眭跃飞,孙瑜,曾庆田.国家知识基础设施中的数学知识表示.软件学报,2006,17(8):1731-1742
复制