退出
我的积分:
中文文献批量获取
外文文献批量获取
邵亚明; 邹小丹;
江苏省常州市新桥中学 213032;
机译:布鲁克斯定理和卡特林定理的统一证明
机译:Bridges和De Witte定理以及有限线性空间基本定理的统一证明
机译:量子力学中的遍历定理和H定理的证明〜*翻译:新力学中的遍历定理和H定理的证明
机译:一类好的树自动机在归纳定理证明中的应用
机译:模型检查和定理证明:一个统一的框架。
机译:Hilbert空间中一类分裂变分不等式问题的弱收敛定理和应用
机译:交流完全统一及其在定理证明中的应用
机译:哪个定理证明。四种定理证明方法综述
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:用于证明对可通过统一资源定位器(URL)访问的应用程序的远程访问的分层框架
机译:工人证明印刷型纸币统一系统的操作方法及其系统,包括印刷型纸币统一机器和该统一机器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。