退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
Salazar, Elmer E.;
The University of Texas at Dallas.;
机译:关于证明理论语义的直觉命题逻辑的不完整性
机译:动态认知逻辑的理论证明语义分析
机译:命题理论,可满足性关系的简化,以及逻辑程序语义的概括
机译:语义泛化的明确规范的扩展
机译:伪阈值逻辑:阈值逻辑的广义化
机译:基于多价逻辑的计算设备兰德克原理的概括
机译:用约束逻辑规划计算非接地析取精心设计语义
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义
机译:踏板钢吉他的扩展和概括
机译:处理器具有多个核心,共享核心扩展逻辑和共享核心扩展利用率指令
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。