FirstOrderLogic.jl：用于解析，处理和评估一阶逻辑中的公式的Julia包
需积分: 9 130 浏览量
2021-02-04
14:59:11
上传
评论
收藏 20KB ZIP 举报
FirstOrderLogic_jl-master.zip （28个子文件） 
FirstOrderLogic.jl-master 
.travis.yml 1KB test test_parser.jl 411B test_renamed_quantifiers_form.jl 419B test_skolem_normal_form.jl 401B test_prenex_normal_form.jl 403B test_removed_quantifier_form.jl 371B test_resolution.jl 3KB runtests.jl 346B test_conjunctive_normal_form.jl 544B test_quantified_variables_form.jl 391B appveyor.yml 2KB src types.jl 3KB skolem_normal_form.jl 1KB FirstOrderLogic.jl 473B renamed_quantifiers_form.jl 1KB parser.jl 3KB resolution.jl 9KB removed_quantifier_form.jl 759B helpers.jl 3KB prenex_normal_form.jl 1KB conjunctive_normal_form.jl 2KB quantified_variables_form.jl 1KB testing_helpers.jl 620B LICENSE.md 1KB .gitignore 38B .codecov.yml 15B REQUIRE 31B README.md 5KB资源评论
cestZOE
- 粉丝: 21
- 资源: 4547
最新资源
- 88-520告白(520气球).zip
- HTML+CSS+JS精品网页模板H126.rar
- n.cpp
- jdk-8u411-windows-x64下载安装可用
- vgg模型-图像分类算法对水果识别-不含数据集图片-含逐行注释和说明文档.zip
- KMP算法（Knuth-Morris-Pratt算法
- vgg模型-python语言pytorch框架训练识别化妆品分类-不含数据集图片-含逐行注释和说明文档.zip
- KMP算法（Knuth-Morris-Pratt算法
- shufflenet模型-基于人工智能的卷积网络训练识别狗的表情-不含数据集图片-含逐行注释和说明文档.zip
- EPIC Fantasy Town 1.0
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
