退出
我的积分:
中文文献批量获取
外文文献批量获取
李延铸;
中共四川省委党校;
回溯推理; 逻辑性质; 溯因推理; 逻辑理论; 推理方法; 合式公式; 模态推理; 命题演算; 蕴涵式; 永真式;
机译:由自由意志,确定主义和地区的三颗逻辑结构产生的三种类型的逻辑结构
机译:基于或逻辑结构的单轨MOS电流模式逻辑标准单元的近阈值计算
机译:规划中的模态表示及其逻辑结构公理系统和规划模态逻辑的健全性
机译:库引用逻辑结构识别的约束传播与逻辑结构识别的语法分析
机译:客观性,逻辑性和科学正义性:以卡纳普的“世界的逻辑结构”为例(逻辑实证主义,基金会主义,维也纳循环,科学统一,分析哲学)。
机译:宽容计计算逻辑结构
机译:代数逻辑;检验相对论的逻辑结构=代数逻辑;研究相对论的逻辑结构
机译:Estruturacao Logica para a Gestao de projetos Espaciais(空间项目管理的逻辑结构)
机译:用于记录逻辑结构模型创建辅助程序的记录介质,逻辑结构模型创建辅助设备和逻辑结构模型创建辅助方法
机译:逻辑结构识别处理程序,逻辑结构识别处理方法和逻辑结构识别处理装置
机译:逻辑结构模型创建支持程序,逻辑结构模型创建支持装置以及逻辑结构模型创建支持方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。