退出
我的积分:
中文文献批量获取
外文文献批量获取
周清雷; 周文俊;
不详;
有究自动机; 自动机; 识别语言;
机译:具有通用接受和背部的自循环交替自动机的LTL
机译:通过交替激活巨噬细胞消除肿瘤条件培养基中的经典活化巨噬细胞通过交替激活巨噬细胞消除肿瘤条件培养基中的经典活化巨噬细胞通过交替激活巨噬细胞消除肿瘤条件培养基中的经典活化巨噬细胞
机译:空间绑定二维交替图文机,按下自动机和计数器自动机的关闭特性
机译:树自动机的弱Muller接受条件
机译:基于交替自动机的验证算法。
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:确定性二维在线细分接受器等效于通过180°旋转的二维二维交替有限自动机
机译:多维迭代阵列,迭代树自动机和交替车床的仿真
机译:交替式压缩机气门操作条件系统和交替式压缩机气门操作条件系统
机译:有条件的接受手段是为了接受包括会议目的的选择条件
机译:用于在玻璃板上交替使用更多型材柔性垫片的自动机器,以及用于在玻璃板上交替使用更多型材柔性垫片的自动过程。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。