Home >

news ヘルプ

論文・著書情報


タイトル
和文:集合論の定理証明向けICAI 
英文: 
著者
和文: 小林 学, 吉川 厚, 大場勇治郎.  
英文: 小林 学, atsushi yoshikawa, 大場勇治郎.  
言語 Japanese 
掲載誌/書名
和文:情報処理学会研究報告コンピュータと教育（CE） 
英文: 
巻, 号, ページ Vol. 1990    No. 30    pp. 67-74
出版年月 1990年4月25日 
出版者
和文: 
英文: 
会議名称
和文: 
英文: 
開催地
和文: 
英文: 

©2007 Tokyo Institute of Technology All rights reserved.