科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
林卿;
洛阳理工学院图书馆,河南洛阳471023;
直言命题; 关系命题; 传统逻辑; 符号逻辑;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:心脏灌注显像剂阳离子复合物的定量构效关系(QSAR)分析以及随后提出的两种不同摄取机制的命题。
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:使用命题逻辑的综合电信数据中的集团和住户分析的不同方法
机译:公共服务价值观和不同性能:第8节住房选择凭证(HCV)Programpublic服务价值观和不同性能:第8节住房选择凭证(HCV)计划的情况
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:命题分析评估地铁记忆逻辑I和II在韦克斯勒的记忆和不同年龄组的交际效率概况
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑
机译:钛及其合金的双重多阳极氧化,在不使用电刺激面膜的情况下,在任何复杂的表面上具有两种或两种以上不同颜色的特征,获得了美观的外观
机译:在系统分析中检查命题逻辑定理的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。