BriefGPT.xyz
Ask
alpha
关键词
ldsr
搜索结果 - 1
基于 Datalog 的流推理语言的正式比较（扩展版）
通过比较 LARS 程序及 LDSR 语言的表达能力，本文找出了各自的限制条件并确定了它们可以相互表达的片段。
PDF
2 years ago
Prev
Next