搜索：逻辑综合 - 虫虫下载站

uCOS 综合实验源代码－计算器

综合实验源代码－计算器

https://www.eeworm.com/dl/649/125469.html

下载: 191

查看: 1048

uCOS 综合实验源代码－电子菜单

综合实验源代码－电子菜单

https://www.eeworm.com/dl/649/125470.html

下载: 123

查看: 1059

uCOS 综合实验源代码－汉诺塔

综合实验源代码－汉诺塔

https://www.eeworm.com/dl/649/125471.html

下载: 53

查看: 1061

uCOS 综合实验源代码－华容道

综合实验源代码－华容道

https://www.eeworm.com/dl/649/125472.html

下载: 69

查看: 1055

uCOS 综合实验源代码－捉小鸡

综合实验源代码－捉小鸡

https://www.eeworm.com/dl/649/125473.html

下载: 56

查看: 1032

uCOS 综合实验源代码－世界时钟

综合实验源代码－世界时钟

https://www.eeworm.com/dl/649/125474.html

下载: 52

查看: 1039

教育系统应用  综合学生成绩查询系统

综合学生成绩查询系统

https://www.eeworm.com/dl/621/126202.html

下载: 145

查看: 1045

人工智能/神经网络  基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。 ...

https://www.eeworm.com/dl/650/126259.html

下载: 89

查看: 1347

企业管理  VC数据库编程综合应用。订单的管理

VC数据库编程综合应用。订单的管理

https://www.eeworm.com/dl/632/126378.html

下载: 44

查看: 1070

电子书籍  网络综合布线系统与施工技术

网络综合布线系统与施工技术

https://www.eeworm.com/dl/cadence/ebook/126898.html

下载: 114

查看: 1044

搜索结果

按分类筛选