Propositional Horn Clause Logic Dataset
收藏DataCite Commons2024-12-16 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/c83633f5-63d8-42cf-9720-f4f4931e5ddf
下载链接
链接失效反馈官方服务：
资源简介：
The dataset used in this paper is a collection of questions and answers related to logic programming, with a focus on propositional Horn clause logic.
提供机构：
TIB
创建时间：
2024-12-16
