退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于命题证明长度的几点看法
Samuel R. Buss;
机译:关于命题证明的长度的一些评论
机译:最小命题证明长度为NP很难线性近似
机译:命题公式和命题证明的元复杂性
机译:关于命题演算中的证明长度(初版)
机译:命题证明复杂性的算法应用。
机译:通过hsp65基因的PCR限制性片段长度多态性分析快速鉴定分枝杆菌到物种水平并提出了区分34个分枝杆菌物种的算法。
机译:附属于抗震特性改进提案装置和修改提案
机译:用于在高速铁路上吸收声音的隔音墙元件,其中间法兰设置在两个法兰之间,并且隔音元件设置在一个法兰和中间法兰之间,其中所有法兰的长度相同
机译:防水光纤电缆截断长度的估计方法,电缆吸水带的选择方法和防水光纤电缆
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。