科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:标称Kleene Coalgebra
Dexter Kozen; Konstantinos Mamouras; Daniela Petrisan; Alexandra Silva;
机译:定量Kleene代数
机译:非确定性Kleene Coalgebras
机译:名义自动机的Kleene定理
机译:标称Kleene CooldeBra.
机译:关系Kleene代数的Horn理论。
机译:弱伪互补拟Kleene代数的两个对偶
机译:非确定性Kleene余代数
机译:功率转换装置,标称强度的预装配,标定标称强度的预装配和施加标称强度的方法
机译:用于控制火花点火的奥托发动机的废气排放的方法,涉及通过标称λ参考值获得修正的λ标称值,从而将动态校正项添加到标称λ参考值。
机译:飞机的最大稳定高度确定方法,包括确定最大标称总高度,并确定与飞机能够达到的最大标称总高度匹配的标称高度
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。