你即將離開本站

並前往https://www.mdpi.com/1099-4300/23/9/1120

Logic Programming with Post-Quantum Cryptographic ... - MDPI

This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming ...

確定！ 回上一頁

查詢 「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.