小野 陽子 | 新潟国際情報大学 情報文化学部

スポンサーリンク

概要

• 小野 陽子の詳細を見る
• 同名の論文著者
• 新潟国際情報大学 情報文化学部の論文著者

関連著者

• 小野 陽子

  新潟国際情報大学

• 小野 陽子

  新潟国際情報大学 情報文化学部

著作論文

• Isabelle/HOL による分割表の数え上げ
• 多次元分割表の数え上げ手法に関する考察

スポンサーリンク