立石 孝彰 | 北陸先端科学技術大学院大学

スポンサーリンク

概要

• 同名の論文著者
• 北陸先端科学技術大学院大学の論文著者

関連著者

• 青木 利晃

  北陸先端科学技術大学院大学

• 片山 卓也

  北陸先端科学技術大学院大学

• 立石 孝彰

  日本IBM東京基礎研究所

• 片山 卓也

  中部大学大学院

• 立石 孝彰

  北陸先端科学技術大学院大学

著作論文

• 定理証明技術のオブジェクト指向分析への適用
• オブジェクト指向分析モデルの検証と公理系の提案

スポンサーリンク