退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:逐步完善和并发:有限状态情况
Gribomont E.Pascal;
机译:逐步完善和逐步比较辅助Prolog程序理解的研究
机译:使用逐步改进和逐步比较辅助Prolog计划理解的研究
机译:YY有限状态并发程序可以用三重范式简洁地表示
机译:使用Petri网形态学通过逐步抽象和完善的并发系统概念模型
机译:通过稀疏惩罚和逐步细化在可审查分位数回归中进行变量筛选和模型选择
机译:amD一个自动motif发现工具使用跳空共识的逐步求精
机译:逐步细化和并发-有限状态案例
机译:有限状态并发系统的自动验证研究
机译:路面裂缝的逐步细化检测方法
机译:逐步细化路面裂缝的检测方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。