退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:对于通用逻辑程序,没有循环理由的FLP回答集语义
Shen Yi-Dong; Wang Kewen; Eiter Thomas; Fink Michael; Redl Christoph; Krennwallner Thomas; Deng Jun;
机译:对于通用逻辑程序,没有循环理由的FLP答案集语义
机译:答案集语义下逻辑程序的理由
机译:具有析取关系的抽象约束程序的FLP样式应答集语义
机译:通用逻辑程序没有循环理由的FLP语义
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:无逻辑逻辑程序中流控制的比较语义
机译:自动应答电话机,自动应答电话系统,自动应答电话机的控制方法和自动应答电话机的程序
机译:自动应答电话机,用于自动应答电话机的语音处理方法以及记录有自动应答控制程序的记录介质
机译:特定于交易策略过程对象的观点的抽象逻辑系统,计算机的中间腿。分离特定逻辑观点的逻辑观点的方法,应用程序编程接口的通用集。在vdeecdeo中提供和从一组输入数据中进行选择,以及。该系统执行针对单个交易事件的特定于一个或多个不同上下文的上下文交易过程准则的处理
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。