Home >

news Help

Publication Information


Title
Japanese:非単調命題時間論理とその形式的仕様記述への応用 
English: 
Author
Japanese: 佐伯元司.  
English: MOTOSHI SAEKI.  
Language Japanese 
Journal/Book name
Japanese:情報処理学会論文誌 
English: 
Volume, Number, Page Vol. 28    No. 6    pp. 547-557
Published date June 1987 
Publisher
Japanese: 
English: 
Conference name
Japanese: 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.