Home >

news Help

Publication Information


Title
Japanese:定理証明技術を応用した高度論証支援システムの開発 
English: 
Author
Japanese: 長谷川隆三, 新田克己, 井上克己.  
English: 長谷川隆三, 新田克己, 井上克己.  
Language Japanese 
Journal/Book name
Japanese:情報処理振興事業協会論文集｢高度情報化支援素ソフトウェア育成事業編」 
English: 
Volume, Number, Page        
Published date 1999 
Publisher
Japanese: 
English: 
Conference name
Japanese: 
English: 
Conference site
Japanese: 
English: 

©2007 Institute of Science Tokyo All rights reserved.