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

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

冷明,唐毅,吴悦,杨洪斌

Application of VHDL Language in Testifying Predicate_Logic Whose Universe D is{0,1}

LENG Ming，TANG Yi，WU Yue，YANG Hongbin

. 2003, (02): 91 -92 .