退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于一阶线性时态逻辑的有限域
Denis Kuperberg; Julien Brunel; David Chemouil;
机译:一阶线性时序逻辑的表达片段的有界域属性
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:不确定的命题双峰逻辑和带计数的一变量一阶线性时间逻辑
机译:一阶线性时间逻辑中的有限域
机译:用定义,算术和有限域进行一阶逻辑的证明
机译:线性时序逻辑的后门
机译:测试有限执行轨迹上的线性时态逻辑公式
机译:使用频域线性预测多项式从信号的频域表示中形成时间和频谱包络的语音识别系统和方法
机译:有限差分时域法的高维线性电路分析方法
机译:非线性域逻辑的可视化设计器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。