顶级推荐逻辑编程大全 上传者：地地哈 2019-07-12 17:10:37上传 RAR文件 3.14MB 热度 63次 该书为逻辑方面的最权威的书籍，涵盖了一阶逻辑，时态逻辑，模态逻辑和描述逻辑等。深入讲述了面向逻辑的编程语言，如Prolog等。该书对于学习逻辑编程人员具有极大的帮助。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
