退出
我的积分:
中文文献批量获取
外文文献批量获取
李健;
江苏省白塔中学,222300;
机译:时态和语意形式的结合:论具有历史必要性和条件义务的时态逻辑的R_t方法
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:“借用”借用“借用”大公司也接受了一个接一个
机译:恢复湿地形式和功能到沼泽地借用pits〜1
机译:三种西班牙语变语的虚拟语气和时态顺序:语料库和进行中变化的实验研究
机译:OrsboRONONON:通过借用不同装配者借用组件的Genome引导的转录组装
机译:虚拟语气的不完善时态和西班牙黄金时代即将结束时西班牙动词系统的重构
机译:浅谈快速成型的形式化方法
机译:借用信息预测和现金流信息提供设备,借用信息预测和现金流信息提供设备控制方法,借用信息预测和现金流信息提供计划
机译:借用信息预测和现金流信息供应设备,借用信息预测和现金流信息提供设备的控制方法,以及借用信息预测和现金流信息提供计划
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。