ヤマナカ ナオヤ   YAMANAKA Naoya
  山中 脩也
   所属   情報学部 情報学科
   職種   准教授
言語種別 英語
発行・発表の年月 2010/06
形態種別 その他の著書・論文
査読 査読有り
標題 A Verfied Automatic Contour Integration Algorithm
執筆形態 共著
掲載誌名 Papers of 4th International Workshop on Reliable Engineering Computing
掲載区分国外