退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:命令式逻辑I的新基础:逻辑连接词,一致性和量词
Peter B. M. Vranas;
机译:祈使逻辑的新基础:纯粹祈使推理
机译:祈使逻辑的新基础III:论证有效性的一般定义
机译:逻辑基础和康德的正式逻辑原则
机译:动态上下文内涵逻辑:逻辑基础及其应用
机译:客观性,逻辑性和科学正义性:以卡纳普的“世界的逻辑结构”为例(逻辑实证主义,基金会主义,维也纳循环,科学统一,分析哲学)。
机译:依靠量词是否合乎逻辑?数值和逻辑量词基础的可分解神经网络
机译:论逻辑常数的含义和逻辑律的合理化(逻辑和数学基础)
机译:恢复一致性组中的逻辑单元,同时复制一致性组中的其他逻辑单元
机译:具有冗余数据的逻辑磁盘驱动器的一致性恢复方法及其程序,以及控制逻辑磁盘驱动器的控制器
机译:用于工业铸造的集成电路,其逻辑锥包括位于逻辑锥中的逻辑模块,其中该模块实现与另一个逻辑锥的非功能连接,并且使用设置文件应用布尔函数
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。