退出
我的积分:
中文文献批量获取
外文文献批量获取
陶景侃;
兰州大学;
符号逻辑; 逻辑演算; 逻辑错误; 变形规则; 命题形式; 说谎者; 化归; 合式公式; 命题演算; 逻辑学家;
机译:报告了T. Arrigoniand和同事的符号逻辑研究结果概述
机译:报告了T. Arrigoni和同事们的符号逻辑研究结果概述
机译:多符号逻辑在数字技术中的应用(概述)
机译:符号逻辑与机器学习相遇:无限领域的简要调查
机译:英国-罗马天主教徒普世对话:拉纳式符号逻辑的案例。
机译:用符号逻辑建模躁狂抑郁症
机译:Husserl的早期符号学和数字标志:通过“符号逻辑(符号)”的镜头算术的哲学
机译:符号逻辑与自动机
机译:概述视频生成设备,概述视频生成系统,概述视频生成方法和程序
机译:概述特定设备,概述特定方法和概述特定程序
机译:概述脚本支持系统,概述脚本支持装置,概述脚本支持方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。