shixue97

开源的命令行压缩工具，用C语言编写，这里是其全部的源代码

国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。下载后可以通过AdobePDF虚拟打印机打印成PDF文档。

此标准规定了计算机编程环境下，二进制和十进制浮点数及其运算的格式和方法，异常的出现条件以及它们的默认句柄。此规范中的浮点数系统可以通过软件、硬件，或者软硬件相结合的形式来实现。对于标准中规定的运算，输出的结果、异常有输入值、操作序列和结果的数据格式所唯一确定，完全在用户的掌控之下。Thisstand

包含ASP非单调推理的各种求解器（注意，不是网页制作的ASP！） clasp claspD clingo iclingo dlv gringo lparse smodels 以及几个程序范例