Computer Science ›› 2014, Vol. 41 ›› Issue (Z11): 15-20.
Previous Articles Next Articles
WANG Shu-xi and XIA Zeng-yan
[1] 王莉红,顾琴轩,褚田芬.人力资本与社会资本对创新行为的影响——跨层次模型研究[J].工业工程与管理,2009(5) [2] 俞明传,顾琴轩,朱爱武.员工实际介入与组织关系视角下的内部人身份感知对创新行为的影响研究[J].管理学报,2014(6) [3] 耿素云,屈婉玲,张立昂.离散数学(第4版)[M].北京:清华大学出版社,2008 [4] 龚启荣.真值表等数理逻辑方法的判定功能[J].贵州大学学报:自然科学版,2001(1) [5] 杨玲,王友仁,张砦,等.基于分离技术的数字电路多目标进化设计[J].微电子学与计算机,2011(2) [6] 赵群依,刘顺兰,王江柱.一种de Bruijn序列的高效生成算法[J].通信技术,2007(11) [7] 李全艳,何远强,彭海平,等.布尔表达式真值自动求解算法设计与实验研究[J].信息系统工程,2014(4) [8] 魏贵民,邹辉.全功能联结词集合的计算机实现[J].成都理工大学学报:自然科学版,2007(3) [9] 莫丽君.真值表在形式逻辑中的功能[J].辽宁工程技术大学学报:社会科学版,2004(3) [10] 张君.计算机数理逻辑命题演算演示系统的研究[J].信息通信,2013(9) [11] 陈宇,黄哲,李梁杰,等.基于AT89C51的集成芯片测试仪设计[J].数字通信,2009(4) [12] 安博.基于真值表变换和规则优化的可逆逻辑综合算法研究[D].南京:东南大学,2010 [13] 杨忠明.基于真值表演算的量子可逆逻辑电路综合[D].南京:东南大学,2010 [14] 蒋向辉.系统重构中真值表格式及预处理研究[J].计算机应用与软件,2009(9) [15] 吴佰桐.工作流建模与基于真值表验证的研究[J].大连理工大学,2008 [16] 朱晓波,杨伟民,叶芯.更改条件/判定覆盖最小真值表生成算法及其应用[J].上海理工大学学报,2007(1) [17] 陈宁,冯博琴.基于命题逻辑的组件约束检测[J].西安交通大学学报,2007(2) [18] 安博,陈汉武,杨忠明,等.基于真值表变换的可逆逻辑综合算法[J].东南大学学报:自然科学版,2010(1) [19] 陈泽华,曹长青,谢刚.基于粒矩阵的多变量真值表快速约简算法[J].模式识别与人工智能,2013(8) |
No related articles found! |
|