退出
我的积分:
中文文献批量获取
外文文献批量获取
郑智捷;
云南大学软件学院信息安全系,云南昆明650091;
逻辑函数; 变值体系; 等价逻辑表示;
机译:某些封闭类三值逻辑函数的有限总等价系统的存在
机译:关于/ c值逻辑的函数用残差子函数的乘积之和表示
机译:用子乘积之和表示k值逻辑函数
机译:专门从事jaina七值逻辑的多元值论证的逻辑
机译:常见项目的等价化方法和格式表示形式对使用非等价组的等价混合形式测试等价性的影响
机译:具有缺失值的数据集的多元分析:基于信息论的可靠性函数
机译:三值逻辑函数的最大值集的分类和基枚举(算法:数学基础和应用)
机译:限制多元F矩阵特征值的经验分布函数。修订
机译:schaltungsanordnung处理与klammerebenen相关的任意布尔表达式中的m位反价函数和等价函数的可编程逻辑
机译:逻辑等价验证装置,逻辑等价验证方法,逻辑等价验证程序和记录介质
机译:三值逻辑函数电路和多值逻辑函数电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。