退出
我的积分:
中文文献批量获取
外文文献批量获取
复合命题; 推理规则; 线性逻辑; 公理化;
机译:数理逻辑论证形式有效性算法
机译:适用于您的所有逻辑的逻辑信息体系结构
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:在逻辑仿真软件,多媒体逻辑中从null和lobur理解实现玛丽计算机的计算机体系结构的教学价值
机译:基于旋转的基于逻辑的逻辑内存计算,用于泌肥神经晶体系统
机译:睡眠体系马尔可夫链模型中的多项逻辑函数:内部和外部验证以及协变量分析
机译:本科计算机教育中数理逻辑课程改革浅析
机译:揭示互联网路由体系结构的胶合逻辑;会议文件
机译:用户可编程逻辑字段中的逻辑单元和连接体系结构
机译:部分交叉开关互连体系结构,用于可重新配置逻辑仿真系统中的多个可重新编程逻辑设备
机译:逻辑地址服务启动方法,逻辑地址管理设备,应用程序执行设备,逻辑地址服务管理程序,逻辑地址服务启动程序,逻辑地址服务管理程序中存储的存储介质以及逻辑地址服务中的存储介质中的存储介质储存
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。