Rchr
J-GLOBAL ID:200901084268269735   Update date: Sep. 09, 2022

He Lifeng

He Lifeng
Affiliation and department:
Research field  (1): Information theory
Research keywords  (9): パタン認識 ,  画像処理 ,  人工知能 ,  前向き推論 ,  定理証明 ,  自動推論 ,  Image Processing ,  Artifical Intelligence ,  Automated Reasoning
Research theme for competitive and other funds  (7):
  • マルチエージェント協調計算に関する研究
  • 画像処理に関する研究
  • 定理証明に関する研究
  • Theorem Proving
  • Study On Multi-Agent Cooperation
Show all
Papers (48):
MISC (4):
Association Membership(s) (5):
中国人工知能学会 ,  中国計算機学会 ,  THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS ,  IEEE ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page