小野 祐貴 | 金沢大

スポンサーリンク

概要

• 小野 祐貴の詳細を見る
• 同名の論文著者
• 金沢大の論文著者

関連著者

• 小野 祐貴

  金沢大

• 山根 智

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大

• 柳瀬 龍

  金沢大学

• 柳瀬 龍

  金沢大学大学院自然科学研究科

• 冨坂 征平

  金沢大学大学院自然科学研究科

• 小野 祐貴

  金沢大学大学院自然科学研究科

著作論文

• 線形不等式を対象とした一階述語論理の限定記号消去の計算
• 組込みシステムを対象とした線形ハイブリッドオートマトンのモデル検査器の開発と検証

スポンサーリンク