退出
我的积分:
中文文献批量获取
外文文献批量获取
古天龙;
桂林电子科技大学,计算机科学与工程学院,广西,桂林,541004;
有序二叉决策图; 抽象数据类型; 数据结构; 符号技术; 布尔函数;
机译:有序根二叉树的LR图和外平面图的近线性区域图
机译:使用改进的顺序二叉决策图对动态故障树进行定量分析
机译:故障树二叉决策图分析的新渐进变量排序
机译:基于二叉决策图的形式安全评估中故障树分析的改进
机译:Borromean:在大型图生成中保留二叉节点属性分布
机译:单链结调节第一类核酶的底物识别双链体的纳秒运动有序。
机译:有序生根二叉树和近线性区域图的LR图 外平面图
机译:有序二元决策图和最小格子
机译:多项式大小的有序二进制决策图(POBDD)的一次性混淆
机译:带二进制决策图的有序Universe上的编码开关
机译:带二元决策图的有序宇宙的编码转换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。