|
Shigeki Hagihara Researcher Information
Family Name |
萩原 |
Hagihara |
First Name |
茂樹 |
Shigeki |
Status |
Resigned or Graduated |
Title |
|
ResearcherID |
B-9263-2015
|
ORCID ID |
|
Area of Supervision : Primary |
|
Research Bases |
|
Specialized Field |
Fundamental theory of informatics (Computer Science)
|
Researcher Profile |
|
Lecture Note |
TokyoTech Open Course Ware |
Degree |
到達可能関係の無限連鎖に制約を持つ様相論理体系の証明方法に関する研究 ,
Thesis,
Doctor of Engineering,
Tokyo Institute of Technology,
2000/--/--,
|
|