基本情報

所属
群馬大学
学位
A study on logic and type system(東北大学)

J-GLOBAL ID
200901016998503126

主要な論文

  75

MISC

  89

主要な講演・口頭発表等

  75