科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有任意抽象约束原子的逻辑程序的答案集
Pontelli E.; Son T. C.; Tu P. H.;
机译:组合问题的约束逻辑编程和答案集编程解的实证研究
机译:有约束的数据记录:一种新的答案集编程形式。
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:组合问题的约束逻辑规划和答案集规划解的实证研究
机译:特定于交易策略过程对象的观点的抽象逻辑系统,计算机的中间腿。分离特定逻辑观点的逻辑观点的方法,应用程序编程接口的通用集。在vdeecdeo中提供和从一组输入数据中进行选择,以及。该系统执行针对单个交易事件的特定于一个或多个不同上下文的上下文交易过程准则的处理
机译:自动应答电话机,自动应答电话系统,自动应答电话机的控制方法和自动应答电话机的程序
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。