[人工智能/神经网络/遗传算法] Autologic

说明：基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed
<> 在 2024-11-19 上传 | 大小：509kb | 下载：0

[数学计算/工程计算] quadtree

说明：quadtree四叉树的建立-quadtree Quadtree the establishment
<区量> 在 2024-11-19 上传 | 大小：1kb | 下载：1

[压缩解压] 005ZlibCOMInterface

说明：Zlib压缩库的COM接口-Zlib compression library COM interface
<> 在 2024-11-19 上传 | 大小：444kb | 下载：0

[数学计算/工程计算] 006BigNumCaculation

说明：64位数的计算，是科学计算类的-64 median is calculated kind of scientific computing
<> 在 2024-11-19 上传 | 大小：11kb | 下载：0

[数学计算/工程计算] pluie

说明：条形码生成软件，根据用户输入自动检索产生条形码图像-Barcode generation program. It can automatically generate barcode according to user s input.
<> 在 2024-11-19 上传 | 大小：79kb | 下载：0

[人工智能/神经网络/遗传算法] matlab-bp

说明：神经网络BP网络的计算程序-neural networks the computational procedures
<周凡> 在 2024-11-19 上传 | 大小：2kb | 下载：0

[压缩解压] Extract

说明：文件自动解压缩程序-documents automatically extracted
<JACKY> 在 2024-11-19 上传 | 大小：56kb | 下载：0

[数据结构常用算法] 学籍管理系统源程序

说明：学籍管理系统源程序-expulsion source management system
<阿木> 在 2024-11-19 上传 | 大小：9kb | 下载：0

[数据结构常用算法] 电脑排课

说明：电脑排课(普通不过的)-course timetable by computer(very normal)
<阿木> 在 2024-11-19 上传 | 大小：5kb | 下载：0

[数学计算/工程计算] a-1

说明：求某矩阵的逆矩阵-find the inverse matrix of a matrix
<欧阳池毅> 在 2024-11-19 上传 | 大小：1kb | 下载：0

[数学计算/工程计算] C语言精彩编程百例_源代码

说明：C语言精彩编程百例_源代码-100 excellent examples of C language_orginal code
<李春雷> 在 2024-11-19 上传 | 大小：87kb | 下载：0

[压缩解压] lzari压缩算法

说明：这是一个基于LZARI算法的数据压缩的类.Haruhiko Okumura 于1989年7月4日用C语言写实现了这个算法.但是上面用到了一些全局或静态的变量,在MFC下用起来很不方便.作者把它改写成了一个C++类,使它可以方便的压缩和解压缩。-LZARI algorithm based on the type of data compression. Haruhiko SAP in 1989, July 4 C language dai
<李秉肇> 在 2024-11-19 上传 | 大小：28kb | 下载：0