您的位置: 专家智库 > >

王定康

作品数:2 被引量:5H指数:1
供职机构:中国科学院数学与系统科学研究院数学机械化重点实验室更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:理学自动化与计算机技术更多>>