退出
我的积分:
中文文献批量获取
外文文献批量获取
魏秀娟; 李永明;
陕西师范大学数学与信息科学学院 陕西西安710119;
陕西师范大学计算机科学学院 陕西西安710119;
格值交替树自动机; 格值正布尔公式; 对偶运算; 格值计算树; 接受运行;
机译:基于格值逻辑的树自动机状态超结构
机译:完全剩余格值有限树自动机的刻画
机译:完全剩余格值树自动机的代数性质
机译:线性游戏自动机:剥离交替树自动机的可判定层次问题
机译:基于交替自动机的验证算法。
机译:使用深度学习交替决策树和遥感传感器提供的数据的闪光泛潜能映射
机译:线性游戏自动机:精简后的交替树自动机的可决定层次结构问题
机译:多维迭代阵列,迭代树自动机和交替车床的仿真
机译:对每个单元格进行排序的单元格排序结构,将单元格值与上一个单元格值,下一个单元格值,输入值和输出值进行比较
机译:对象的病人的血管树,轮廓确定方法,涉及确定代表对象的物体的上像素值和下像素值之间的亮度区域。患者的血管树,在X射线图像的直方图中
机译:单元格值显示转换方法,单元格值显示转换方法程序和记录介质,系统服务器和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。