退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:线性逻辑的自由指数模态的显式公式
Melliès Paul-André; Tabareau Nicolas; Tasson Christine;
机译:关于序列的Banach空间和自由线性逻辑指数模态
机译:550- $ mu $ tex-math> inline-formula> W 20-kHz BW 100.8-dB SNDR线性指数倍数位增量 $ Sigma Delta $ tex-math> inline-formula>具有256 Cl的ADC
机译:认知悖论和显性模态逻辑。
机译:强大的...... - 在不确定非线性扰动存在下用于增强轮式移动机器人的跟踪性能的模糊逻辑控制
机译:线性逻辑自由指数模态的显式公式
机译:显式可证性:直觉和模态逻辑的预期语义
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
机译:在日本为偿还全部债务以及在县,市,乡镇中出售的产品而在日本出售的产品的显性义务的国外专利权国家和具有国家专利权编号的海外出口商品在没有完整产品手册的情况下,对产品本身有任何数量的明确义务和对海外检查的明确要求。专利号列出的产品销售说明和互联网专利号描述的义务以及审查发票义务和报纸传单的国家收取的公司税为专利号码公开措施不多的情况下,知识产权资产的数量对专利号码所规定的义务的明确义务和电视广播部门的专利号码的专利数据汇总管理手册的知识产权不喜欢被骗
机译:访问控制逻辑的模态和线性技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。