搜索资源列表
bmpshow
- 显示位图的几种不同方法及其比较.作者：张利浩 王勇.运行环境:VC6.0；Win98.-Bitmap of several different methods and comparison. Author : Zhang Hao Wang Yong. Operating environment : VC6.0; Win98.
WangHao
- 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
Windows CE（C#）嵌入式应用开发
- 《Windows CE（C#）嵌入式应用开发》-电子教案-王浩-7401
《Windows CE（C#）嵌入式应用开发》-源代码
- 《Windows CE（C#）嵌入式应用开发》-源代码-王浩
bmpshow
- 显示位图的几种不同方法及其比较.作者：张利浩 王勇.运行环境:VC6.0；Win98.-Bitmap of several different methods and comparison. Author : Zhang Hao Wang Yong. Operating environment : VC6.0; Win98.
WangHao
- 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。 -Propositional logic in the inference rule can be used to prove that
Wang_Hao
- VC++实现图形化界面的王浩算法。王浩算法用来进行定理的自动证明。-VC++ Achieve the graphical interface of the Wang algorithm. Wang algorithm used to automatically prove theorems.
abs
- 使用王浩算法实现了命题逻辑的推理，是计算机实现自动推理的很好例子。-this is a very good example.
wanghaosuanfa
- 王浩算法的C实现，对输入的逻辑式，可以输出王浩算法的推理过程和所用的定理号。-Wang Hao algorithm C implementation, the input logical form, can output Wang Hao algorithm for the inference process and the used by the theorem.
wince
- windows ce 开发 王浩 源代码 ，书中所有例程的代码都有哦-windows ce developers Wang Haoyuan code, book routine code has oh
chengxushejikejian
- 程序设计教学课件里面包含有C++课件、源程序与习题、C++程序设计教程、C++程序开发(王育坚、C++（谭浩强）和《C++面向对象程序设计》PPT课件等课件-Programming courseware which contains Courseware C++, source code, and exercises, C++ programming tutorial, C++ program development (Wang Yuj
Wanghaosuanfa
- 王浩算法的java版，算法简单易懂，结构清晰，值得借鉴-Wang Hao algorithm java version, algorithm is simple and easy to understand, clear structure, is worth learning from
wanghao-algorithm-
- 人工智能课程实验，C语言实现王浩算法，带有代码运行说明。-Artificial Intelligence course experiment, C language algorithms Hao, with code running instructions.
001
- 基于逐点插入法的Delaunay三角网快速生成算法_王龙浩 (1)
11杜凯欣16李少侠09王敏39梁志浩
- 这是一个在线考试系统的实现代码，团队成果(exam online system)
www-王志浩网站-易信模板-201406120830
- 完整的后台和前台。大气企业网站，简介，美观。(Full backstage and front desk. Atmosphere enterprise website, brief introduction, beautiful.)