退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:辛普尔:势在必行计划的组成推理框架
Lucas G. Wagner;
机译:RGITL:用于交错程序的组合推理的时间逻辑框架
机译:并发高阶命令式程序的模块化推理
机译:将SPARK用于命令式程序推理的初学者课程
机译:ModuRes:有关并行高阶命令式编程语言的模块化推理的Coq库
机译:使用差异约束的命令式程序的复杂性和资源限制分析
机译:关于命令式量子程序的推理
机译:信息可生存性的综合推理框架(用户意图封装和入侵推理:实施和绩效评估)
机译:近似推理的因果推理与反事实概率编程框架
机译:使用近似推理的因果推理和反事实概率编程框架
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。