大芝 猛 | 名古屋工業大学工学部電気情報工学科

スポンサーリンク

概要

• 大芝 猛の詳細を見る
• 同名の論文著者
• 名古屋工業大学工学部電気情報工学科の論文著者

関連著者

• 大芝 猛

  名古屋工業大学

• 大芝 猛

  名古屋工業大学工学部電気情報工学科

• 舟橋 栄

  名古屋工業大学電気情報工学科

• 永田 周郎

  名古屋工業大学工学部

• 舟橋 栄

  名古屋工業大学 電気情報工学科

著作論文

• 自動証明における自然な証明生成への一つの近接
• N-set partitionsを用いる妥当性検証プログラムの実際について
• 付随式を用いる1階述語論理の妥当性検証手続
• 付随式を用いる1階述語論理の証明図作成方法 (形式言語理論とオートマトン理論)
• 妥当性検証時の情報を利用する論理式の証明図作成方法
• 妥当な論理式(1階述語論理)の証明図作成の1つの方法 (計算機科学の数学的基礎)

スポンサーリンク