退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:模拟逻辑的模态翻译
Chrysafis Hartonas;
机译:子构造谓词逻辑中的Glivenko定理和否定翻译
机译:高阶模糊逻辑及其分类语义:通过副结构三斯理论的高阶线性完整性和BAAZ翻译
机译:Gersonides的逻辑:对某些文档的分析,带有部分版本和“正确的三段论书”(犹太语,情态)的翻译。
机译:几何非线性多体系统的一种模态导数增强鲁宾子构造方法
机译:免费模式:关于添加Tarskian m \“{o} glichkeit的注释 子结构逻辑
机译:在不锈钢子结构上固定石檐口的系统(由Google翻译进行机器翻译,不具有法律约束力)
机译:用于在单片混凝土浮动结构中的塔架和下部结构之间传递应力的过渡元件,以支撑船用风力涡轮机(由Google Translate进行机器翻译,无法律约束力)
机译:具有金属下层结构的重型结构(由Google Translate进行机器翻译,没有法律约束力)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。