演繹的プログラム合成

論理における解決

一次論理のための完全な推論規則で、既存の節の集合から新しい節を自動的に推論することを可能にする。

← 戻る