退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有有限谓词含义和含义的答案集编程的复杂性结果
Thomas Eiter; Wolfgang Faber; Michael Fink; Stefan Woltran;
机译:边界谓词有界及其含义的答案集编程的复杂度结果
机译:关于允许函数符号的有限谓词逻辑程序索引集的复杂性
机译:非地面答案集编程的模型检查和边界谓词复杂性
机译:谓词答案集编程与共归。
机译:使用差异约束的命令式程序的复杂性和资源限制分析
机译:朝向谓词答案集编程通过调控逻辑编程
机译:清洁水印度套餐 - 助学金计划:常见问题解答,2007年3月
机译:自动应答电话机,自动应答电话系统,自动应答电话机的控制方法和自动应答电话机的程序
机译:暗示对扩展装置,用于它的计算机程序以及问答系统
机译:自动应答电话机,用于自动应答电话机的语音处理方法以及记录有自动应答控制程序的记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。