Home >

news Help

Publication Information


Title
Japanese:Aπ計算のCoqによる形式化 
English: 
Author
Japanese: 安武祥平, 渡部卓雄.  
English: Shohei Yasutake, TAKUO WATANABE.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Sept. 7, 2014 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第31回大会 
English: 
Conference site
Japanese:愛知県名古屋市 
English: 

©2007 Tokyo Institute of Technology All rights reserved.