退出
我的积分:
中文文献批量获取
外文文献批量获取
李春淼; 蔡小娟; 李国强;
上海交通大学软件学院;
上海200240;
良结构下推系统; 可覆盖性; 下界; 重置0; Hyper-Ackermann难;
机译:高阶下推矢量加法系统的有界性问题
机译:一元上下文无关文法和下推自动机,描述复杂性和辅助空间下界
机译:结构良好的下推系统的覆盖性问题的硬度结果
机译:哈德良(Hadrian)的游览活动:步行穿过哈德良(Hadrian)的别墅(意大利)。
机译:通过使用创新的纳米结构脂质载体作为递送系统克服HIV p24抗原的免疫原性问题:小鼠和非人类灵长类动物的证据
机译:关于一维下推向量加法系统的可覆盖性问题
机译:从一些代数量的角度看双线性问题加性复杂性的下界
机译:可满足性问题的计算方法,可满足性问题计算系统和程序
机译:可满足性问题计算方法,可满足性问题计算系统和程序
机译:仅通过缺陷来测量失效概率的方法,通过对提取的缺陷图案参数进行分类来测量缺陷受限良率的方法以及仅通过缺陷和缺陷受限良率来度量失效概率的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。