退出
我的积分:
中文文献批量获取
外文文献批量获取
徐孟侠; 乐陶;
北京大学,电子学系,北京,100871;
中国电子科技集团公司第三研究所,北京,100015;
AC-3; 增强AC-3(E-AC-3); 比特流; 技术规范;
机译:欧洲食品安全局(EFSA)全面的欧洲食品消费数据库中所包含的,在欧盟进行的全国膳食调查的方法学特征
机译:有助于感知连续发声的哭声中所包含的男性和女性声音的声学特征
机译:DA Sviridov对第189885-5号联邦法律草案的不同意见-《酿造产品技术规范》
机译:第40章中医药文献元数据:国际标准化组织制定的技术规范草案
机译:马克·吐温作品中所包含的文学批评。
机译:袖珍配方以及英国和国外药典的简介;包括医疗实践中所用制剂的标准和批准的配方
机译:群体理论的某些简单,不可解决的问题。 V 29,3029 I,II,III和IV部分出现在A系列57、3和5号中; 58,第2和5号程序,以及Indag。 Math。,16,Nos 3 and 5(1954); 》,第17卷,第2期和第5期(1955年)。在第一部分,第234页中,显示的材料之后的第九行和第十行,出现A读D和出现B都读E:在第二部分,第497页,对于图A和D中所有出现的M,请读C。在第Ⅳ部分,第574页中,第三行显示为zαiLreadz-αiL。 19).30本论文及后续论文中所包含的单词问题的不可解性的证明不包含在本文中。 (请参阅第I部分的脚注1。)我们的证明终于在1954-56年期间居住在高级研究所期间完成了。该研究所在1954-55年间直接为我们提供了支持,在1955-56年间得到了美国国家科学基金会的G-1974合同的支持。在作者获得奥斯陆大学富布赖特奖学金的同时,对出版物的改进和准备工作也有所进展。感谢库尔特·哥德尔教授在此方面的大力鼓励。他建议我们研究一些相关的问题,希望以后再解决。 1956年8月3日,在密歇根大学的一个座谈会上解释了Lemmas 30和31的早期版本时,Roger Lyndon教授建议进行改进,并将其纳入当前版本。我们确实要感谢John Addison博士和Michael Rabin博士在1956年7月检查了许多新细节。)
机译:审查萨凡纳河遗址K-Reactor草案技术规范
机译:一种转换定义为包含在该数据比特流数据比特流中的二进制信道信号数据比特流的二进制信息信号的方法,编码设备,向包含二进制数据比特流的信道信号发信号
机译:皮革制品,用于旅行或运输的皮革,其特征在于具有真空阀,可减少主体和本协议中所包含的那些,进而减少一个或多个真空袋(包含
机译:使用12V直流电(DC)电动机的电动风扇,包括主风扇主体和太阳能电池,其中所述主风扇主体包含外壳,风扇叶片和三相无刷直流电流(BLDC)电动机,以及在所说的BLDC电动机驱动风扇叶片周向旋转的情况下,其特征在于所说的BLDC电动机通过导电线直接连接到太阳能电池,而所说的BLDC电动机在其转子和定子磁芯以及其芯线所在的位置同样大小和规格的牙齿,甚至分布在
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。