エルブラン化

全て 名詞
2 の例文 (0.00 秒)
  • 論理式のエルブラン化の証明の一部として、冠頭標準形の論理式のスコーレム化を考えていた。 ...
  • エルブランは、エルブランの定理を証明するため、その双対概念であるエルブラン化を用いた。 ...