搜索资源列表
PrenexFormMFC
- 前束范式生成器，数理逻辑的一个辅助程序，可以给出任意谓词公式的前束范式。主要采用二叉树方式实现-Before the beam pattern generator, an auxiliary mathematical logic program predicate formulas can be given before any beam pattern. Mainly be achieved by binary tree
本站作为网络服务提供者，仅为网络服务对象提供信息存储空间，仅对用户上载内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。