基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题 - 源码列表

本页面展示了「基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题」的完整源码文件结构，共包含 40 个源代码文件。 您可以在线预览每个文件的代码内容，学习机器学习相关的编程技术和实现方法。

机器学习 逻辑推理 归结反演 命题逻辑 自动推理
返回资源详情页下载
源码文件 40
下载 89

源码文件列表

共 40 个文件
#
文件名
大小
操作
1
-
2
-
3
res project1my.res 二进制
-
不可预览
4
obj project1my.obj 二进制
-
不可预览
5
-
6
-
7
-
8
-
9
-
10
exe project1my.exe 二进制
-
不可预览
11
-
12
-
13
obj unit1my.obj 二进制
-
不可预览
14
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
jpg snag-0000.jpg 二进制
-
不可预览
31
-
32
-
33
-
34
-
35
obj unit2my.obj 二进制
-
不可预览
36
obj stack1.obj 二进制
-
不可预览
37
-
38
-
39
-
40
obj unit3my.obj 二进制
-
不可预览

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题 - 源码说明

本资源「基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题」包含 40 个源码文件，涵盖机器学习、逻辑推理、归结反演等技术领域。您可以在线预览每个文件的完整代码内容，学习相关的编程技术和实现方法。

虫虫开发者社区提供超过65万份免费电子技术资源，包括技术文档、源代码、电路图、PCB设计文件等，是电子工程师和嵌入式开发者的专业资源平台。