小橋 一秀 | 名古屋工業大学

スポンサーリンク

概要

• 小橋 一秀の詳細を見る
• 同名の論文著者
• 名古屋工業大学の論文著者

関連著者

• 大芝 猛

  椙山女学園大学

• 小橋 一秀

  名古屋工業大学

• 大芝 猛

  名古屋工業大学

著作論文

• 知識論理・様相論理の標準形展開基底による特性化(計算モデルと計算の複雑さに関する研究)
• 知識命題の標準形を用いる妥当性検証(アルゴリズムと計算量理論)

スポンサーリンク