Home >

news Help

Publication Information


Title
Japanese:初等的でないフレームを持つ様相論理の統一化による証明法 
English: 
Author
Japanese: 友石正彦, 萩原茂樹, 米崎直樹.  
English: MASAHIKO TOMOISHI, Shigeki Hagihara, NAOKI YONEZAKI.  
Language Japanese 
Journal/Book name
Japanese:情報処理学会第55回全国大会講演論文集 
English: 
Volume, Number, Page Vol. 2        pp. 559-560
Published date Sept. 1997 
Publisher
Japanese: 
English: 
Conference name
Japanese: 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.