Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Facebook
  3. 石垣 良

石垣 良

投稿一覧（最新100件）

9 0 0 0 OA 定理証明支援系に基づく形式検証 -近年の実例の紹介とCoq入門-

アフェルト レナルド：定理証明支援系に基づく形式検証 -近年の実例の紹介とCoq入門-，情報処理，Vol.55，No.5，pp.482-491（2014）．