-
开源的命令行压缩工具，用C语言编写，这里是其全部的源代码
大小：780KB | 2020-05-18 05:20:24 -
国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔...
大小：3.58MB | 2019-07-13 15:58:27 -
此标准规定了计算机编程环境下，二进制和十进制浮点数及其运算的格式和方法，异常的出现条件以及它们的默认...
大小：916.42KB | 2019-05-06 09:27:58 -
包含ASP非单调推理的各种求解器（注意，不是网页制作的ASP！） clasp claspD clin...
大小：2.07MB | 2018-12-28 10:09:11
Ta的上传资源列表