命题逻辑的求解器,2004年SAT竞赛第一名的求解器
资源简介:命题逻辑的求解器,2004年SAT竞赛第一名的求解器
上传时间: 2013-12-16
上传用户:gundamwzc
资源简介:2004年高级程序员下午的试题,有利于准备参加考试的同志。
上传时间: 2014-01-21
上传用户:zq70996813
资源简介:小灵通的api开发代码。是在2004年给网通公司的增值业务做的,希望站长可以喜欢,友不足,多给意见
上传时间: 2014-01-23
上传用户:从此走出阴霾
资源简介:2004China Undergraduate Mathematical Contest in Modeling (CUMCM)是2004年全国数学建模大赛的题目(B题)。现将题目,建模过程及利用“多元线性回归和人工神经网络”解题的源代码上传给大家一起分享。
上传时间: 2014-01-08
上传用户:youth25
资源简介:<JavaScript:The Good Parts>全英文版,O Reilly出品,必属精品,该书的英文版是2008年5月才出版的,此为对应的chm文档,支持目录索引和搜索功能.目录如下:Syntax/Objects/Functions/Inheritance/Arrays/Regular expressions/Methods/Style/Beautiful features
上传时间: 2013-12-15
上传用户:sjyy1001
资源简介:国内知名的旅行网站2008年5月所做的竞争对手网站分析报告,颇具商业价值,对在线预订行业具有决策性参考价值.
上传时间: 2016-10-06
上传用户:xuanchangri
资源简介:其中:ClientInfor.inf 文件: 第一行的数据表示: 客户端游戏版本号 第一行的数据表示: 更新文件存放的网络路径 UpdateInfor.inf文件: 第一行的数据表示: 最新游戏版本号 第二行的数据表示: 有多少文件需要更新 后面每行的数据表示: 需要更...
上传时间: 2013-12-24
上传用户:hanli8870
资源简介:世界编程大赛第一名的作品~~~~汇编虽然很难懂却也给带来兴趣。。如这作品实现一个跑步的人
上传时间: 2014-01-03
上传用户:cx111111
资源简介:命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论,这些还有赖于人的经验技巧和才能。1960年王浩提出的算法,可以完全脱离人的经验和技巧,...
上传时间: 2013-12-31
上传用户:wxhwjf
资源简介:传感器与执行器大全 2003-2004年卷
上传时间: 2013-07-06
上传用户:eeworm