退出
我的积分:
中文文献批量获取
外文文献批量获取
王凯;
机译:适当班级的满意度关系:在逻辑和集合论中的应用
机译:有限线性时间逻辑在分段线性集合中的应用
机译:涉及有序对的集合论的可确定量化碎片及其在描述逻辑中的应用
机译:归纳逻辑编程中面向集合计算的框架及其在广义逆蕴涵中的应用
机译:逻辑编程中的集合和多集。
机译:集合论逻辑和概率:将定性推理整合到定量生物学教学统计中
机译:归纳逻辑编程中面向集合计算的框架及其在广义逆蕴涵中的应用⋆
机译:层析数学思想在雷达探测中的应用
机译:逻辑地址服务启动方法,逻辑地址管理设备,应用程序执行设备,逻辑地址服务管理程序,逻辑地址服务启动程序,逻辑地址服务管理程序中存储的存储介质以及逻辑地址服务中的存储介质中的存储介质储存
机译:为使逻辑地址服务启动方法中需要应用逻辑的附加逻辑地址服务启动的逻辑地址服务启动方法,以及提供逻辑地址管理装置和应用执行装置的系统以及容纳该逻辑的存储介质地址
机译:在逻辑电路输入中应用两种逻辑测试信号的装置及其在多个逻辑电路的自动测试中的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。