科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
贲可荣; 续九华; 刘孟仁;
中国计算机学会;
逻辑; 线性逻辑; 计算机科学; 应用;
机译:有限线性时间逻辑在分段线性集合中的应用
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:通过逻辑检验和线性回归使用测试日奶和荷斯坦奶牛和泽西奶牛的性能变量通过逻辑回归和线性回归预测高酮血症
机译:将线性时间时序逻辑嵌入到无限逻辑中:在消除多主体无限性认知线性时间时序逻辑中的应用
机译:基于混合整数线性规划的数据逻辑分析实现及其应用。
机译:分段线性线性和非线性图集-患者翘曲技术的比较:功能神经外科应用中皮层下核的标记分析
机译:有限线性时间逻辑在分段线性聚集体中的应用
机译:不兼容的逻辑系统:为什么设计应该整合军事详细规划的机械,还原和线性逻辑
机译:为使逻辑地址服务启动方法中需要应用逻辑的附加逻辑地址服务启动的逻辑地址服务启动方法,以及提供逻辑地址管理装置和应用执行装置的系统以及容纳该逻辑的存储介质地址
机译:具有主要/辅助应用程序客户端逻辑的移动通信系统,其中客户端逻辑设置有提供客户端逻辑驱动/接收响应/监督的客户端应用程序分离的应用程序。
机译:在逻辑电路的输入上应用两种逻辑逻辑信号的装置及其在逻辑电路的多个自动测试中的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。