Home > 組織・担当情報 > 東京工業大学 > 情報理工学院 > 鹿島亮

news ヘルプ

鹿島亮 研究者情報

鹿島  KASHIMA 
亮  RYO 
所属組織 東京工業大学 情報理工学院
専門分野 その他 (数理論理学)
学位論文 Proof Theoretical Studies of Classical/Nonclassical Logics,  本文,  Doctor of Science,  1995/--/--, 

©2007 Tokyo Institute of Technology All rights reserved.