退出
我的积分:
中文文献批量获取
外文文献批量获取
林作铨; 李未;
不详;
表演算; 超协调逻辑; 悖论逻辑; 计算机;
机译:寻找“思想规律”。关于布尔演算的逻辑认识论和概率演算
机译:关于π演算和共同直觉逻辑。关于并发和λP系统的逻辑说明
机译:直观和逻辑地表示数字系统的逻辑演算
机译:π-演算的逻辑编码:使用表分辨率对移动过程进行模型检查
机译:子结构逻辑,组合逻辑和lambda演算。
机译:Ternary Motion逻辑来解决运动摩擦悖论
机译:反事实逻辑的自然演绎演算和后续演算
机译:多值逻辑电路设计的成本表法复杂性分析
机译:Gartar演算演算演算演算演算
机译:MIVAR知识库中逻辑演算路径的自动获取
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。