退出
我的积分:
中文文献批量获取
外文文献批量获取
刘新文;
中国社会科学院哲学研究所;
函数; 括号; 证明; 经典; 希尔伯特; 作者; 联结词; 系统; 规则;
机译:希尔伯特空间中的经典系统,标准量子系统和混合量子系统
机译:好奇的一阶逻辑的经典前消心片段的完整性
机译:关于经典一阶逻辑的自然推论:Curry-Howard对应,强归一化和Herbrand定理
机译:关于一些亚经典一阶逻辑的不可思议
机译:经典测试理论的矢量-几何和希尔伯特空间重构。
机译:来自印度东部奥里萨邦霍乱疫情的带有经典ctxB基因的四环素抗性霍乱弧菌O1型El Tor血清型Ogawa与经典ctxB基因的出现
机译:概率分布和希尔伯特空间:量子和经典系统
机译:Lambda p-:具有自动定理211证明的一阶逻辑的纯类型系统
机译:用于将数据集从给定维度的希尔伯特空间映射到不同维度的希尔伯特空间的方法和系统
机译:希尔伯特曲线的能源效率空间指标的方法,记录介质的方法以及希尔伯特曲线的能源效率空间指标的系统
机译:飞机燃气轮机压缩机的转子,带有双翼和双翼,带经典叶轮和带双叶轮的经典叶轮,具有四到六级的叶轮装置,用于阻尼这些夹具和叶轮,风扇转子的工作人员的振动带有工作阻尼器的宽转子叶片的增强型转子,阻尼器的双联结方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。