BriefGPT.xyz
大模型
Ask
alpha
关键词
lpop workshop
搜索结果 - 1
第二届逻辑与编程实践研讨会论文集 (LPOP)
本文介绍了第二届逻辑与程序设计工作坊(Logic and Practice of Programming,LPOP)的论文摘要和立场论文,旨在作为计算机科学中使用逻辑作为实用工具的不同领域之间的桥梁,利用形式逻辑的公共语言交换思想。
PDF
2 years ago
Prev
Next