退出
我的积分:
中文文献批量获取
外文文献批量获取
陈国龙;
完全理论; 后继函数理论; 量词消去法; 模型论;
机译:量词见证集的识别:多量词句研究
机译:自然语言量词的一些特性:广义量词理论
机译:非封闭汉密尔顿人密度算子的相位空间制剂及其在衰减量词理论中的应用
机译:AC完全统一及其在定理证明中的应用
机译:一类直觉理论的量词消除。
机译:很少还是很多?适应水平理论说明量词处理的灵活性
机译:交流完全统一及其在定理证明中的应用
机译:在广义量词理论,模态逻辑和知识表示中计算对象
机译:热力学理论,冲击波理论,弹性波理论和弹性理论在炸药爆炸时,爆炸中和爆炸后的爆炸特性研究中的应用
机译:顶盖,BATTLE SURCOAT(理论编号270),Under-futon,BATTLE SURCOAT(理论编号271),颈部保护套,BATTLE SURCOAT(理论编号272),配件BATTLE SURCOAT(理论编号273)。 ,蟒蛇,肩甲(MR。理论#274),蟒蛇,解体型膝垫(MR。理论#275),蟒蛇,解体型肩垫(MR。理论#276),冷冻窗帘(MR。理论#277),防冻汽车罩(MR。理论编号278),冷冻缸盖(MR。理论编号279)和防灾蒲团盖(MR。理论280)
机译:基于听觉量词的多个应用版本的授权和分发方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。