dry logic 带有规则组合的谓词逻辑.zip
dry-logic, 带有规则组合的谓词逻辑 逻辑 谓词逻辑和使用的规则组合:用于约束类型的干类型干验证插件用于构成验证规则你的项目。链接文档文档Bug 报告和拉请求在GitHub的https://github.com/dry-rb
用户评论
推荐下载
-
施耐德电气Zelio Logic逻辑控制器产品认证CSA Zelio Logic.pdf
施耐德电气ZelioLogic逻辑控制器产品认证——CSAZelioLogicpdf,施耐德电气ZelioLogic逻辑控制器产品认证——CSAZelioLogic
18 2020-06-03 -
谓词解析评估和以文本表示谓词源码
谓词 谓词是一个简单的库,用于解析,评估和以文本形式表示谓词(布尔函数)。 安装 git clone git@github.com:lamg/predicate.git cd predicate/cm
14 2021-02-06 -
通过Prolog进行逻辑编程的简介An Introduction to Logic Programming Through Prolog
介绍逻辑编程,将三个基本组成部分组合在一起:逻辑本身的声明性,编写有效程序所需的编程技术以及计算机对逻辑编程的有效实现。
20 2020-07-27 -
fuzzy logic toolbox实现模糊逻辑推理系统的基本框架
模糊逻辑工具箱是一种用于处理不确定性和不精确信息的计算方法,它在许多领域都有广泛应用,如人工智能、控制理论、图像处理、决策分析等。在这个名为“fuzzy-logic-toolbox-master”的压
1 2024-12-10 -
多变量组合电路逻辑功能分析仪.zip
多变量组合电路逻辑功能分析仪zip,多变量组合电路逻辑功能分析仪
9 2020-08-10 -
施耐德逻辑控制器Zelio Logic推广手册.pdf
施耐德逻辑控制器ZelioLogic推广手册pdf,施耐德逻辑控制器ZelioLogic推广手册:专为简易自动化系统(I/O范围10至40点)设计的ZelioLogic逻辑控制器,特别适合于既希望节约
24 2019-10-05 -
串口信号调试逻辑分析仪软件Logic
查看串口 信号时序 ,支持多个通道 ,适合 嵌入式开发以及相关智能硬件通信人员 使用
25 2019-01-13 -
施耐德Zelio Logic逻辑控制器培训教程.pdf
施耐德ZelioLogic逻辑控制器培训教程pdf,ZelioLogic逻辑控制器是介于PLC和继电器之间的一款产品,它既具有PLC和继电器的一些特点,还拥有超越PLC和继电器的一些性能优点。和PLC
10 2020-06-10 -
施耐德Zelio logic逻辑控制器应用方案.pdf
施耐德Zelio logic逻辑控制器应用方案pdf,施耐德Zelio logic逻辑控制器应用方案
18 2020-07-16 -
ti逻辑电平Understanding and Interpreting Standard_Logic Data Sheet
ti逻辑电平说明,英文。UnderstandingandInterpretingStandard-LogicDataSheet
20 2019-06-01
暂无评论