退出
我的积分:
中文文献批量获取
外文文献批量获取
王世强; 翁稼丰;
北京师范大学数学系;
上海宝山钢铁总厂;
谓词演算; 标准形; 真假值; 前束; 模型论; 命题连接词; 不可判定性; 数序; 判定问题; 逻辑符号;
机译:平面空间中一些保形可分离的度量及其在狭义相对论中的加速坐标框架的应用
机译:狭义相对论运动学的自洽性,第六部分。爱因斯坦在狭义相对论中关于“时间旅行”的论点毕竟基本上是正确的。和平滑的多边形
机译:De Sitter-Hubble方程,狭义相对论中的力和对称性的一些概念
机译:部分偏多值逻辑中基本群和基本半群决策的一些结果
机译:超出标准模型的粒子物理学中的对称性:超对称性,共形对称性和偶然的洛伦兹对称性。
机译:镶嵌成形术中的六角形移植物:小牛尸体模型中标准圆柱形和新型六角形移植物的生物力学比较
机译:单纯形法在标准代数项和线性规划中的表述
机译:用于水管的除垢设备包括螺旋形插入管中,螺旋形插入器终止于连接到泵的喷嘴,一些水通过旁通管通过连接器到达吸入侧,喷嘴或连接器上装有磁铁
机译:按键例如管状钥匙,固定装置,例如汽车的驱动轮上有一些孔,这些孔放置在盒形车身中,孔的直径和深度与钥匙相适应,并要固定
机译:折叠桌排装置具有由桌面,纵向支柱,支腿和枢轴形成的平行四边形结构,并且在地板上具有中间支撑,该中间支撑连接到这些支腿和枢轴中的一些
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。