退出
我的积分:
中文文献批量获取
外文文献批量获取
白正春;
无;
机译:明确分析可构造虚假和河流逻辑的证明/驳旧交互
机译:YALLA中的论证更新(另外一种逻辑语言用于论证)
机译:规范和验证抽象论证框架的论证逻辑
机译:具有PLTL逻辑优化的新驳旧演算
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:学龄儿童逻辑论证的分布式神经表示
机译:建立科学哲学论证过程中的论证逻辑和命题逻辑
机译:开放水域疏浚物初始命运预测数值模型的建立与验证。报告1.疏浚物料从分体船驳和多箱容器处置的物理模型试验。
机译:乘积[n]&[m] f(h)乘积[m] f(2)的论证和乘数[n] f(2)的论证生成方法-金字塔乘数的“附加代码”用于后续逻辑解码f(CD?)的f(??)和格式中结果和的生成[S] f(2)-“附加代码”及其实现的功能结构(俄罗斯逻辑版本)
机译:产品论证验证系统,论证对象,产品论证方法和特殊信息提供方法
机译:从命题逻辑论证满意公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。