退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在组合逻辑理论中的定义贫困性进入一阶谓词微积分
В. И. Шалак;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:经典逻辑的组合逻辑和λ演算
机译:没有函数的一阶谓词演算的类布尔和频繁性非标准语义
机译:描述逻辑一阶扩展中用于混合推理的有序理论解析演算
机译:子结构逻辑,组合逻辑和lambda演算。
机译:一阶逻辑理论用于治疗合并症患者的临床实践指南:一个案例研究
机译:一阶命题和谓词演算的两个错义组合逻辑系统的完备性
机译:一阶谓词逻辑模型理论及相关时态逻辑
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:预测逻辑公式创建设备,摘要日记规则创建设备,摘要日记规则设备,预测逻辑公式创建程序,摘要日记规则创建程序和摘要日记程序
机译:动态MOS逻辑集成电路,包括组合和顺序逻辑元件的单独布置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。