Rchr
J-GLOBAL ID：200901006540220510   Update date: Mar. 27, 2008

Shimizu Issei

シミズ イッセイ | Shimizu Issei
Affiliation and department：
Former Institution / Organization Kobe University Graduate School of Science and Technology Department of Informatics and Electronics

About Former Institution / Organization Kobe University Graduate School of Science and Technology Department of Informatics and Electronics


Job title： -
Research field  (1)： Information theory
Research theme for competitive and other funds  (2)：
  • 2002 - 形式的証明体系
  • 2002 - Mathematical Proof Systems
MISC (1)：
Professional career (1)：
  • Master (Engineering) (Kobe University)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM