PROMAL - Programming in Modal Action Logic
暂无分享,去创建一个
[1] David Harel,et al. First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.
[2] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
暂无分享,去创建一个
[1] David Harel,et al. First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.
[2] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.