Home >

news Help

Publication Information


Title
Japanese:到達可能関係の無限連鎖に制約を持つ様相論理体系の証明方法に関する研究  
English: 
Author
Japanese: 萩原茂樹.  
English: Shigeki Hagihara.  
Type
Type:Thesis (Ph.D.) 
Country: 
Language  
Organization name Tokyo Institute of Technology 
Report number  
Conferred date 2000/--/-- 
Judge  

©2007 Tokyo Institute of Technology All rights reserved.