你即將離開本站

並前往https://dl.acm.org/doi/10.1145/502807.502810

Complexity and expressive power of logic programming

This article surveys various complexity and expressiveness results on different forms of logic programming. The main focus is on decidable forms of logic ...

確定！ 回上一頁

查詢 「Logic programming」的人也找了：

  1. Logic programming
    2.
  2. Constraint logic programming
    3.
  3. Functional programming language
    4.
  4. Functional programming
    5.
  5. Inductive logic programming
    6.
  6. Functional logic
    7.
  7. 程式邏輯訓練ptt
    8.
  8. 邏輯程式設計
    9.