• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr
J-GLOBAL ID:201301042948409300   Update date: Aug. 03, 2022

Sato Haruhiko

サトウ ハルヒコ | Sato Haruhiko
Clips
Affiliation and department:
Homepage URL  (1): http://kussharo.complex.ist.hokudai.ac.jp/~haru/
Research field  (1): Software
Research keywords  (3): 定理自動証明 ,  項書換え系 ,  帰納的定理証明
Papers (24):
Professional career (1):
  • Doctor of Information Science (Hokkaido University)
Work history (1):
  • 2009/01 - 現在 北海道大学 大学院・情報科学研究科 助教
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page