退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于逻辑的绑架的复杂性
Thomas Eiter; Georg Gottlob;
机译:在基于逻辑的绑架中处理最小解决方案的复杂性
机译:在线大幅度权重学习,用于基于逻辑的一阶绑架
机译:基于逻辑的绑架中处理最小解决方案的复杂性
机译:揭秘:以身份为中心的对基于逻辑的疗法的修订。
机译:国际儿童绑架:海牙公约前法医精神病评估的复杂性
机译:基于逻辑的绑架新多项式
机译:绑架估计装置,绑架估计方法和绑架估计程序
机译:绑架推理装置,绑架推理方法和计算机可读介质
机译:绑架设备,展示方法和计算机可读记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。