退出
我的积分:
中文文献批量获取
外文文献批量获取
王健纯;
湘潭教师进修学校;
充分性; 逻辑命题; 充分必要条件; 充分条件; 必要性; 充要条; 一般形式; 逻辑联系; 命题的条件; 逆命题;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:命题向量逻辑系统及其充分性定理
机译:分类中的条件必要性与逻辑必要性
机译:非线性小增益条件覆盖iISS系统:Lyapunov观点的必要性和充分性
机译:分层因果链:必要性,充分性,可预见性和选择对归因的影响
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:某些先验模态命题逻辑的充分性结果
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑
机译:从命题逻辑证明可满足逻辑公式的加密手段
机译:协调器创建一个基本周期,并在启动周期中选择元件逻辑电路输出的受控条件;协调器以创建基本的周期时间和条件在周期启动期间选择逻辑电路输出的受控元件,以及用于控制逻辑元件的输出的输出控制电路,该逻辑元件用于分离第一和第二脉冲。
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。