用ocaml编写的逻辑程序
用ocaml编写的逻辑程序，可以实现formule clausale，和resolution...
逻辑简化技术资料
📦 资源总数：3456
💻 源代码：4289
🔌 电路图：1
🔥 逻辑简化热门资料
查看全部3456个资源 »OPC 开发工具包2.0 OPC工具包是用来简化OPC规范服务器开发的工具包
OPC 开发工具包2.0 OPC工具包是用来简化OPC规范服务器开发的工具包，它是对OPC DA/AE/HDA 诸多规范接口及应用的封装，支持VB/VC/DELPHI/CB/.net语言，支持win98, winxp, win2000, win2003平台， 支持同步/异步访问，支持读写双向访问，...
vb 获得硬盘出厂序列号,不是逻辑盘的序列号
vb 获得硬盘出厂序列号,不是逻辑盘的序列号...
GTK+的libglade编程, 简化了对GTK构件的纯代码编写, 适合刚刚学GTK/glade的人
GTK+的libglade编程, 简化了对GTK构件的纯代码编写, 适合刚刚学GTK/glade的人...
可编程逻辑器件是一种可以通过编程
可编程逻辑器件是一种可以通过编程，改变系统连线，达到系统重构的器件，该器件 可以现场编程，就是说当该器件安装到电路板上后，可以对它的功能进行重新设置，这样 就可以非常方便的进行数字系统的设计与制作...
💻 逻辑简化源代码
查看更多 »📂 逻辑简化资料分类