退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过专业化和减少不确定性来推导有效的逻辑程序
Pettorossi A; Proietti M; Renault;
机译:通过专业化和减少不确定性推导高效逻辑程序
机译:逻辑程序的有界不确定性
机译:基于谓词的基于谓词的归纳逻辑编程专业化
机译:减少不确定性,同时使逻辑程序专业化
机译:逻辑程序的有效共享分析。
机译:高效实现NFFT算法的可编程逻辑中的自动化软件加速:一个案例研究
机译:通过专业化和减少非确定性来推导有效的逻辑程序
机译:具有运行时测试的逻辑程序的多种专业化。
机译:用于操作可编程逻辑模块和逻辑单元的程序,以便有效执行给定的过程
机译:使用上下文敏感逻辑进行可编程逻辑阵列和只读存储区的减少,以进行数据空间操作
机译:使用上下文敏感逻辑对数据空间进行操作的可编程逻辑阵列和只读存储区减少
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。