科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:命令分配动态逻辑中的资源分离
Joseph Boudou; Andreas Herzig; Nicolas Troquard;
机译:命题分配动态逻辑中的判断聚合。
机译:资源动态的模式分离逻辑
机译:司法进度分析和施工延误索赔中的浮动,逻辑,资源分配和延误时间安排的动态。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:命题作业动态逻辑中的判断聚合
机译:用逆向解释命题动态逻辑中的知识逻辑
机译:用于交互式卫星无线电网络多媒体系统的资源分配提供方法,涉及计算突发时间表,该突发时间表通过使用静态或半动态资源分配管理器来获取信息
机译:用于蜂窝移动无线电通信系统的动态无线电资源分配方法,用于将可用资源分配给至少两个频带的资源
机译:将死逻辑分区动态分配给实时逻辑分区的设备和计算机实现的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。