你即將離開本站

並前往https://www.univ-orleans.fr/lifo/Members/duchier/teaching/ESSLLI-2000/node107.html

6.7 Disjunctive Propagator

6.7 Disjunctive Propagator. In Oz, a disjunctive propagator has the form: or C1 [] C2 end. and its declarative semantics is simply that of disjunction.

確定！ 回上一頁

查詢 「Disjunctive」的人也找了：

  1. disjunctive中文
    2.
  2. Conjunctive disjunctive
    3.
  3. Conjunctive
    4.
  4. Conjunctive 中文
    5.
  5. Abjure
    6.
  6. Syllogism
    7.
  7. Disjunction
    8.
  8. Rejuvenate
    9.