当前位置:  首页 - 科研成果 - 重点科研项目


研究方向一(符号计算与自动推理)

研究方向二(知识工程与知识科学)

研究方向三(计算智能与生物信息学)

研究方向四(高可信移动计算)

研究方向五(智能信息处理的数学方法)