退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:LTL自动机构造的概念
Carsten Fritz;
机译:基于自动机的监控LTL-FO〜+
机译:具有通用接受和背部的自循环交替自动机的LTL
机译:LTL到确定性Rabin自动机的经过验证的成分翻译
机译:LTL中自动机构建的概念
机译:广义弦最优自动机的算法构造和随机分析
机译:任何其他名称的生物墨水:与3D生物打印有关的术语概念和构造
机译:在Isabelle / HOL中验证的用于LTL模型检查的Büchi自动机的构建
机译:在随机自动机网络中使用自旋玻璃概念。
机译:用于自动解算数学问题的概念和系统,以及用于数学概念的动态构造和测试的数学问题的测试系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。