退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:多元布尔代数中的谓词术语运算和等式
Paul R. Halmos;
机译:具有相等谓词的闭包运算符在部分布尔函数集上分支
机译:多元多元等式代数的表示
机译:拟多双性平等代数的定义和可表示性
机译:代数规范语言中的相等谓词
机译:当布尔代数是地面模型中的适当类时,集合论的布尔值模型。
机译:多元布尔代数
机译:多元布尔代数中的谓词,术语,运算和等式
机译:一类布尔代数与布尔代数的关系分析及其在高阶布尔函数最小化中的应用
机译:零容忍分离谓词的布尔项转换
机译:零容忍的析取谓词的布尔项转换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。