Temporal logic programming in Clojure core.logic An extended title would read “temporal logic programming with explicit discrete time”.
確定! 回上一頁