CIA World Factbook in Predicate Logic-开源

【文件属性】：

文件名称：CIA World Factbook in Predicate Logic-开源

文件大小：1.16MB

文件格式：ZIP

更新时间：2024-06-17 22:03:31

开源软件

从原始 HTML 页面解析的基于文本的谓词逻辑表示中的 CIA World Factbook

【文件预览】：
Read Me.txt
CWFB-PL.txt