退出
我的积分:
中文文献批量获取
外文文献批量获取
常勇;
无;
行程速比系数; 辅助角; 曲柄摇杆机构;
机译:命题图式的可判定性和不可判定性结果
机译:命题区间邻域逻辑:可表达性,可判定性和不可判定的扩展
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:关于类型理论中某些形式无法证明的命题和原型证明的证明
机译:魔鬼的拥护者:印第安民族保留权利的悖论-对新墨西哥州圣胡安河上那瓦伙族人谈判定居点的严格审查。
机译:在评估法医DNA结果时严格审查命题水平的重要性
机译:通过Nuprl证明提取的经典命题可判定性
机译:命题线性不等式判定程序的优化
机译:带有一个,三个连杆,摇杆和两个水平滑块的曲柄摇杆机构
机译:带有一个,三个连杆,摇杆和两个垂直滑块的曲柄摇杆机构
机译:具有适用于市电电压/控制输入端和施加电阻性负载判定电路并基于状态改变判定设定电压改变的开关电路证明指令功能机构。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。