退出
我的积分:
中文文献批量获取
外文文献批量获取
郭雨邨;
新疆大学老干处;
普通逻辑原理; 教材; 高校; 逻辑学; 矛盾律; 排中律;
机译:结构化普通逻辑程序的语义
机译:格上近似的有充分根据的语义,查询回答和广义普通逻辑程序
机译:普通逻辑程序中的扩展Asp Tableaux和规则冗余
机译:基于BLUE原理的OFDM频偏估计方法的复杂性和训练符号设计的若干问题。
机译:进化种群动力学若干问题的统计分析
机译:在非正式的教育环境中使用同行商榷协助开展了Clicker的问题:科学的加强农民学习
机译:也谈京腔史研究中的若干问题——与戴和冰先生商榷
机译:1981年7月24日的“不明飞行物”:与张周生同志商榷。
机译:自动膨胀医疗器械商榷。
机译:用于获得若干问题的opin u00f5es的分类的系统和方法,
机译:在异步W-CDMA系统中用于上行链路数据传播的正交代码生成器,特别是与生成代码有关,而无需使用普通逻辑电路进行上行链路扩展的生成代码
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。