谓词逻辑定理证明相关硕士博士期刊学术论文 - 搜论网

谓词逻辑定理证明相关论文

VHDL语言在个体域D为{0,1}的谓词逻辑定理证明中的应用

提出了以VHDL语言为手段,介绍了针对个体域D为{0,1}的谓词逻辑定理证明的实现方法,并在Active-HDL环境中举例说明.......

期刊

VHDL语言个体域D 谓词逻辑定理证明硬件描述语言 VHDL language；Predicate_Logic；Testifying

看过本文同时还关注