科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于线性逻辑的形式化元化学元理论
Kaustuv Chaudhuri; Leonardo Lima; Giselle Reis;
机译:子结构逻辑顺序计算的形式化元理论
机译:具有子公式属性和最小深度反模型的直觉命题逻辑的无收缩线性深度后续计算
机译:从显示演算到深度嵌套继发演算:完全直觉线性逻辑的形式化
机译:后续微积分:计算和对偶的逻辑和语言
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:具有子公式属性和最小深度计数器模型的直觉命题逻辑的无收缩线性深度序列结果
机译:正态模态命题逻辑的后续计算
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:使用可编程阵列逻辑的压力控制顺序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。