一阶谓词逻辑和知识绑定
这是我的文章的第三章的第二节，因为有公式没法发，直接放这里了。
下载地址
用户评论
