退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在逻辑程序和默认理论中表示动作,采用情境演算方法
Turner Hudson;
机译:在稳定模型的一般理论和答案集编程中重新制定情境演算和事件演算
机译:程序逻辑的统一理论:一种基于π演算的方法
机译:基于知识的程序默认在模态情况结石中
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:约束逻辑程序设计方法用于蛋白质结构预测
机译:规则即行动:逻辑程序的情境演算语义
机译:编程语言的问题特征:情境 - 微积分方法。第一部分。转让声明
机译:肉类交易情况估算系统,肉类交易情况估算服务器,肉类交易情况估算方法和肉类交易情况估算计划
机译:驾驶状况提取方法,驾驶状况提取装置,用于控制目标的控制器以及驾驶状况提取程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。