命题逻辑的求解器,2004年SAT竞赛第一名的求解器

相 关 资 源

• 命题逻辑的求解器,2004年SAT竞赛第一名的求解器免费下载

  资源简介：命题逻辑的求解器,2004年SAT竞赛第一名的求解器

  标签： 2004 SAT 逻辑 竞赛

  上传时间： 2013-12-16

  上传用户：gundamwzc

• 2004年高级程序员下午的试题免费下载

  资源简介：2004年高级程序员下午的试题，有利于准备参加考试的同志。

  标签： 2004 高级程序员 试题

  上传时间： 2014-01-21

  上传用户：zq70996813

• 小灵通的api开发代码。是在2004年给网通公司的增值业务做的免费下载

  资源简介：小灵通的api开发代码。是在2004年给网通公司的增值业务做的，希望站长可以喜欢，友不足，多给意见

  标签： 2004 api 小灵通 代码

  上传时间： 2014-01-23

  上传用户：从此走出阴霾

• 2004China Undergraduate Mathematical Contest in Modeling (CUMCM)是2004年全国数学建模大赛的题目（B题）。现将题目免费下载

  资源简介：2004China Undergraduate Mathematical Contest in Modeling (CUMCM)是2004年全国数学建模大赛的题目（B题）。现将题目，建模过程及利用“多元线性回归和人工神经网络”解题的源代码上传给大家一起分享。

  标签： 2004 Undergraduate Mathematical Modeling

  上传时间： 2014-01-08

  上传用户：youth25

• <JavaScript:The Good Parts>全英文版,O Reilly出品,必属精品,该书的英文版是2008年5月才出版的,此为对应的chm文档,支持目录索引和搜索功能.目录如下免费下载

  资源简介：<JavaScript:The Good Parts>全英文版,O Reilly出品,必属精品,该书的英文版是2008年5月才出版的,此为对应的chm文档,支持目录索引和搜索功能.目录如下:Syntax/Objects/Functions/Inheritance/Arrays/Regular expressions/Methods/Style/Beautiful features

  标签： JavaScript Reilly Parts Good

  上传时间： 2013-12-15

  上传用户：sjyy1001

• 国内知名的旅行网站２００８年5月所做的竞争对手网站分析报告,颇具商业价值免费下载

  资源简介：国内知名的旅行网站２００８年5月所做的竞争对手网站分析报告,颇具商业价值，对在线预订行业具有决策性参考价值．

  标签： 网站 旅行 分 价值

  上传时间： 2016-10-06

  上传用户：xuanchangri

• 其中：ClientInfor.inf 文件： 第一行的数据表示： 客户端游戏版本号 第一行的数据表示： 更新文件存放的网络路径 UpdateInfor.inf文件： 第一行的数据表示：免费下载

  资源简介：其中：ClientInfor.inf 文件： 第一行的数据表示： 客户端游戏版本号 第一行的数据表示： 更新文件存放的网络路径 UpdateInfor.inf文件： 第一行的数据表示： 最新游戏版本号 第二行的数据表示： 有多少文件需要更新 后面每行的数据表示： 需要更...

  标签： ClientInfor UpdateInfor inf 数据表示

  上传时间： 2013-12-24

  上传用户：hanli8870

• 世界编程大赛第一名的作品~~~~汇编虽然很难懂却也给带来兴趣。。如这作品实现一个跑步的人免费下载

  资源简介：世界编程大赛第一名的作品~~~~汇编虽然很难懂却也给带来兴趣。。如这作品实现一个跑步的人

  标签： 编程 大赛 汇编 带来

  上传时间： 2014-01-03

  上传用户：cx111111

• 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理免费下载

  资源简介：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，...

  标签： 逻辑 定理

  上传时间： 2013-12-31

  上传用户：wxhwjf

• 传感器与执行器大全 2003-2004年卷免费下载

  资源简介：传感器与执行器大全 2003-2004年卷

  标签： 2003 2004 传感器

  上传时间： 2013-07-06

  上传用户：eeworm

• 传感器与执行器大全-2003-2004年卷-806页-39.2M.rar免费下载

  资源简介：专辑类----传感器专辑 传感器与执行器大全-2003-2004年卷-806页-39.2M.rar

  标签： 2003 2004 39.2 806

  上传时间： 2013-06-13

  上传用户：小宝爱考拉

• 传感器与执行器大全-2003-2004年卷-806页-39.2M.pdf免费下载

  资源简介：专辑类-传感器专辑-87册-901M 传感器与执行器大全-2003-2004年卷-806页-39.2M.pdf

  标签： 2003 2004 39.2 806

  上传时间： 2013-07-14

  上传用户：wanqunsheng

• 在2004年数学建模时所编的优化算法免费下载

  资源简介：在2004年数学建模时所编的优化算法

  标签： 2004 数学建模 优化算法

  上传时间： 2015-03-02

  上传用户：libenshu01

• 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题免费下载

  资源简介：基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。

  标签： 自动 机器学习 推理机 程序

  上传时间： 2013-11-30

  上传用户：GavinNeko

• 2004年的高级程序员考试的试卷免费下载

  资源简介：2004年的高级程序员考试的试卷，有利于准备参加考试的同志。

  标签： 2004 高级程序员 试卷

  上传时间： 2014-09-04

  上传用户：黄华强

• 2004年高级程序员的答案免费下载

  资源简介：2004年高级程序员的答案，和先前发的配套，供有兴趣的同志参考。

  标签： 2004 高级程序员

  上传时间： 2014-02-24

  上传用户：zhangliming420

• 程序员2004年考试题目与答案,希望能给要考的同志带来帮助.免费下载

  资源简介：程序员2004年考试题目与答案,希望能给要考的同志带来帮助.

  标签： 2004 程序员 带来 试题

  上传时间： 2013-12-12

  上传用户：cainaifa

• JSCC的2004年的研究报告免费下载

  资源简介：JSCC的2004年的研究报告，这个报告写得很全面，为我们下一步的工作很有指导意义

  标签： JSCC 2004 报告

  上传时间： 2013-12-01

  上传用户：宋桃子

• 2004年出版的遗传算法Wiley.Interscience.Practical.Genetic.Algorithms.May.2004.eBook-LinG.pdf免费下载

  资源简介：2004年出版的遗传算法Wiley.Interscience.Practical.Genetic.Algorithms.May.2004.eBook-LinG.pdf

  标签： 2004 Interscience Algorithms eBook-LinG

  上传时间： 2015-05-16

  上传用户：15736969615

• 2004年我的毕业设计免费下载

  资源简介：2004年我的毕业设计，有软件工程思想，希望大家借鉴

  标签： 2004 毕业设计

  上传时间： 2014-01-02

  上传用户：ukuk

• Foxmail 5远程缓冲区溢出漏洞 注：本文是2004年2月xfocus成员在内部技术交流中提出的免费下载

  资源简介：Foxmail 5远程缓冲区溢出漏洞 注：本文是2004年2月xfocus成员在内部技术交流中提出的，在此之前，启明星辰技术人员已经发现这一漏洞，但未公开细节，xfocus成员听说存在这一漏洞后对Foxmail进行分析，并写出利用代码。 测试环境：win2k sp4+foxmail 5.0.300...

  标签： Foxmail xfocus 2004 远程

  上传时间： 2013-12-26

  上传用户：thinode

• 通过这次上机考试（2004年4月）以及从各大论坛上考生朋友们所抽取的上机题来看免费下载

  资源简介：通过这次上机考试（2004年4月）以及从各大论坛上考生朋友们所抽取的上机题来看，所有的上机考试题全来自南开100题，但网上所流传的以及正式书本上的解法也有不少的错误，因此也误导了一些基础不深的朋友们，为此我将2004年版南开100题中所有的题都在无忧2004...

  标签： 2004 上机考试 论坛

  上传时间： 2013-12-06

  上传用户：shinesyh

• C 语言常见问题集本文从英文C–FAQ (2004 年7 月3 日修订版) 翻译而来。本文的中文版权为 朱群英和孙云所有。很好的一个资料。免费下载

  资源简介：C 语言常见问题集本文从英文C–FAQ (2004 年7 月3 日修订版) 翻译而来。本文的中文版权为 朱群英和孙云所有。很好的一个资料。

  标签： 2004 FAQ 语言 英文

  上传时间： 2013-12-03

  上传用户：123啊

• iso_13818-1_amend_3_(03-2004).pdf 2004年的标准修订免费下载

  资源简介：iso_13818-1_amend_3_(03-2004).pdf 2004年的标准修订

  标签： 2004 13818 amend iso

  上传时间： 2014-01-09

  上传用户：cazjing

• 命题逻辑中的归结推理系统设计与实现用C++实现免费下载

  资源简介：命题逻辑中的归结推理系统设计与实现用C++实现

  标签： 逻辑 系统设计

  上传时间： 2014-01-10

  上传用户：VRMMO

• 2004年4月20日最新版本的GCC编译器3.4.0发布了。目前免费下载

  资源简介：2004年4月20日最新版本的GCC编译器3.4.0发布了。目前，GCC可以用来编译C/C++、FORTRAN、JAVA、OBJC、ADA等语言的程序，可根据需要选择安装支持的语言。GCC 3.4.0比以前版本更好地支持了C++标准。本文以在Redhat Linux上安装GCC3.4.0为例，介绍了GCC的安装过程

  标签： 2004 GCC 版本 发布

  上传时间： 2015-10-05

  上传用户：拔丝土豆

• 命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告免费下载

  资源简介：命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告

  标签： 逻辑 系统设计 人工智能 实习

  上传时间： 2015-10-30

  上传用户：love1314

• 2004 年 arm 大会的讨论论文集,值得关注免费下载

  资源简介：2004 年 arm 大会的讨论论文集,值得关注

  标签： 2004 arm 论文

  上传时间： 2014-01-27

  上传用户：waizhang

• 北大程序设计课程2004年考试试题 对于学习程序设计课程的同学可以检测一下学习的效果免费下载

  资源简介：北大程序设计课程2004年考试试题 对于学习程序设计课程的同学可以检测一下学习的效果

  标签： 2004 程序设计 检测 试题

  上传时间： 2014-01-14

  上传用户：亚亚娟娟123

• 译码器的逻辑功能是将已赋予特定含义的一组二进制输入代码的原意"翻译"出来,变成对应的输出高低电平信号.该程序为3-8译码器.基于VHDL,其开发环境是MAXPLUS2.免费下载

  资源简介：译码器的逻辑功能是将已赋予特定含义的一组二进制输入代码的原意"翻译"出来,变成对应的输出高低电平信号.该程序为3-8译码器.基于VHDL,其开发环境是MAXPLUS2.

  标签： MAXPLUS VHDL 译码器 二进制

  上传时间： 2013-12-23

  上传用户：lepoke