退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:命题时间逻辑中的有限Kripke结构特征
Browne M.C.; Clarke E.M.; Grümberg O.;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:时间逻辑中加权Kripke结构的定量表征
机译:时间逻辑中加权克里普克结构的定量刻画
机译:论文“使用具有三值时间逻辑的部分Kripke结构进行模型检查”中的一些问题
机译:代数结构与命题逻辑之间的联系。
机译:点过程时间结构表征了电台活动
机译:时态逻辑中加权Kripke结构的定量刻画
机译:在时态逻辑中表征Kripke结构
机译:在CMOS逻辑单元设计中加速延迟效应的时间相关性仿真的CMOS逻辑单元表征方法
机译:用于将超短激光脉冲分散到时间和光谱方面并对其进行表征的方法和结构,使用周期性周期或振幅图案上与光轴成一定角度的光学自动成像。
机译:用于表征集成电路器件的可配置非易失性逻辑结构
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。