黒瀬 義則 | 岡山大学大学院自然科学研究科

スポンサーリンク

概要

• 黒瀬 義則の詳細を見る
• 同名の論文著者
• 岡山大学大学院自然科学研究科の論文著者

関連著者

• 山崎 進

  岡山大学工学部情報工学科

• 黒瀬 義則

  岡山大学大学院自然科学研究科

• 黒瀬 義則

  岡山大学工学部情報工学科

著作論文

• 調整と無限導出を伴うアブダクティブ手続き
• 一般プログラムに対する矛盾解消交替演算子
• 3値アブダクション枠組における一貫性制約と意味論
• 3値アブダクティブ証明手続き
• 3値アブダクション枠組の意味論
• 一般プログラムに対する矛盾解消交替演算子
• 3値論理におけるアブダクション

スポンサーリンク