Home >

news Help

Publication Information


Title
Japanese:有限フレームを意味的基礎として持つ様相論理に対する分解証明法 
English: 
Author
Japanese: 萩原茂樹, 友石正彦, 米崎直樹.  
English: 萩原茂樹, 友石正彦, 米崎直樹.  
Language Japanese 
Journal/Book name
Japanese:コンピュータソフトウェア別冊 ソフトウェア発展 
English: 
Volume, Number, Page         pp. 78-91
Published date 2000 
Publisher
Japanese: 
English: 
Conference name
Japanese: 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.