AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:朝向谓词答案集编程通过调控逻辑编程
Richard Min; Ajay Bansal; Gopal Gupta;
机译:矿物帽子:用于在此处最小化的工具 - 以及答案集编程中的逻辑程序和理论
机译:组合问题的约束逻辑编程和答案集编程解的实证研究
机译:集成答案集编程和约束逻辑编程
机译:通过协和逻辑编程实现谓词答案集编程
机译:谓词答案集编程与共归。
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:将多伴随的正常逻辑程序与语义方法相关的核心模糊答案设置程序
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:预测逻辑公式创建设备,摘要日记规则创建设备,摘要日记规则设备,预测逻辑公式创建程序,摘要日记规则创建程序和摘要日记程序
机译:自动应答电话机,自动应答电话系统,自动应答电话机的控制方法和自动应答电话机的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。