|
萩原茂樹 研究者情報
姓 |
萩原 |
Hagihara |
名 |
茂樹 |
Shigeki |
状態 |
本学を転出・卒業 |
職位 / 称号 |
|
ResearcherID |
B-9263-2015
|
ORCID ID |
|
教育担当 : 主担当 |
|
研究担当 |
|
専門分野 |
情報学基礎 (計算機科学)
|
研究者プロフィール |
|
講義ノート |
TokyoTech Open Course Ware |
学位論文 |
到達可能関係の無限連鎖に制約を持つ様相論理体系の証明方法に関する研究 ,
本文,
Doctor of Engineering,
Tokyo Institute of Technology,
2000/--/--,
|
|