研究者
J-GLOBAL ID：200901006540220510   更新日: 2008年03月27日

清水 一生

シミズ イッセイ | Shimizu Issei
所属機関・部署：
旧所属 神戸大学 大学院自然科学研究科 情報・電子科学

旧所属 神戸大学 大学院自然科学研究科 情報・電子科学 について


職名： 大学院生(博士課程)
研究分野 (1件)： 情報学基礎論
競争的資金等の研究課題 (2件)：
  • 2002 - 形式的証明体系
  • 2002 - Mathematical Proof Systems
MISC (1件)：
学位 (1件)：
  • 修士(工学) (神戸大学)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM