大芝 猛 | 名古屋工業大学
スポンサーリンク
概要
関連著者
-
大芝 猛
名古屋工業大学
-
大芝 猛
名古屋工業大学工学部電気情報工学科
-
舟橋 栄
名古屋工業大学電気情報工学科
-
永田 周郎
名古屋工業大学工学部
-
舟橋 栄
名古屋工業大学 電気情報工学科
-
大芝 猛
椙山女学園大学
-
小橋 一秀
名古屋工業大学
著作論文
- 知識命題の標準形を用いる妥当性検証(アルゴリズムと計算量理論)
- 自動証明における自然な証明生成への一つの近接
- 自動証明における自然な証明生成の1アルゴリズム(理論計算機科学とその周辺)
- 自動証明における自然な三段論法の導入について : (LJ + 排中律)証明への変換アルゴリズムによる(数学基礎論とその応用)
- N-set partitionsを用いる妥当性検証プログラムの実際について
- 付随式を用いる1階述語論理の妥当性検証手続
- 付随式を用いる1階述語論理の証明図作成方法 (形式言語理論とオートマトン理論)
- 妥当性検証時の情報を利用する論理式の証明図作成方法
- 妥当な論理式(1階述語論理)の証明図作成の1つの方法 (計算機科学の数学的基礎)
- ベル数B(N)の1つの算式 (計算機科学の数学的基礎)
- 自動証明における自然な三段論法の導入--自然な証明生成への1つの近接
- エルブランの定理の構成的証明
- guide情報を利用する証明のプログラミング (ゲ-デル)
- エルブランの定理にもとずく1階述語論理の論理式の妥当性検証プログラムの1つについて