abs 联合开发网

Pudn.com > 下载中心 > 数据结构 > abs

abs

所属分类：数据结构
开发工具：C/C++
文件大小：3KB
下载次数：20
上传日期：2011-11-10 18:58:13
上传者：1179818735

说明：使用王浩算法实现了命题逻辑的推理，是计算机实现自动推理的很好例子。
(this is a very good example.)

文件列表:

abs.cpp (15716, 2011-07-15)

近期下载者：

相关文件：

收藏者：