退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
Talsania, Samidh.;
Arizona State University.;
机译:ASSAT:由SAT求解器计算逻辑程序的答案集
机译:基于答案集编程和时间间隔逻辑约束的XML授权形式语言
机译:茶匙:使用答案集编程解决基于课程的课程时间表问题
机译:Cplus2ASP:答案集编程中的计算动作语言C +
机译:关于答案集语义的概率扩展之间的关系。
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:用于在一组集成的GASPEA上执行操作的系统和方法;自动切割装置和方法;一套GASPEA方法的水泥边际;要实现自动切割机应收一套GASPEA
机译:自动应答电话机,自动应答电话系统,自动应答电话机的控制方法和自动应答电话机的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。