退出
我的积分:
中文文献批量获取
外文文献批量获取
邵志清;
无;
谓词逻辑; 递归程序; 操作语义; 微机;
机译:递归程序的操作语义学的标准模型-理论方法
机译:有限Kripke框架的超直觉谓词逻辑不可递归公理化
机译:Web应用程序推理:HOP的操作语义
机译:具有多态递归和部分大步操作语义的摊销资源分析
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:校正至:范XX梁爱玲谢Y刘志强郑育芳姚宗建卢林乐吴建礼何继新袁正伟傅坚魏克立黄洁肖德建罗立新姜中宝周亚丽甘瑞科和刘力。抗氧化氧化还原信号28:339–3572018. DOI:10.1089 / ars.2017.7090
机译:谓词逻辑作为编程语言的语义的递归理论复杂性
机译:用递归和并发关系编程语言的指称和操作语义
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:Herdwagen的车门有自己的,独立于herdwagen bewegbaren汽车而建
机译:存储程序的信息处理设备,信息处理系统和记录介质包括设备控制程序,该设备控制程序独立于在外部设备上执行的程序而更新
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。