退出
我的积分:
中文文献批量获取
外文文献批量获取
HE Shan-kan; 贺善侃;
中国逻辑学会;
辩证逻辑; 形式逻辑; 证明程序; 结构形态;
机译:关于辩证逻辑形式化的提案
机译:莲花I:随机阶段III对照研究比较丁醇酮的口腔形式和阴道孕酮的阴道形式,以支持叶黄素相位的体外施肥循环,重点关注俄罗斯人口的细胞分析
机译:值的逻辑估计中的形式逻辑推理方法和曼达尼逼近
机译:无线电形式物体及其状态识别问题的知识形式逻辑模型和逻辑推理程序
机译:跨案例研究比较了官方和实际课程与英国学校文学研究教学方法之间的重要关系,形式为1-6。
机译:如何将风险传达给儿童:一项横断面研究比较了不同形式的概率信息
机译:亨利·拉费布雷(Henri Lafebre)。形式逻辑和辩证逻辑。墨西哥大学。 1956年。103页。
机译:用Unscented卡尔曼滤波结合逻辑推理进行稀疏探测的非单调,部分非确定性软件的状态估计。
机译:用于逻辑推理游戏的十二面体设备,分为四种形式的元素,可以通过旋转来改变位置
机译:逻辑推理系统,计算学习装置及逻辑推理方法
机译:逻辑推理系统,计算学习装置和逻辑推理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。