退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:减少不确定性,同时使逻辑程序专业化
Alberto Pettorossi; Maurizio Proietti; Sophie Renault; PAlberto Pettorossi;
机译:通过专业化和减少不确定性推导高效逻辑程序
机译:逻辑程序的有界不确定性
机译:基于谓词的基于谓词的归纳逻辑编程专业化
机译:在逻辑程序专业化的同时减少不确定性
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
机译:开发一个程序的逻辑模型以减少第三级护理中心非特异性腰痛的磁共振成像速率
机译:在专业化逻辑程序的同时减少不确定性
机译:具有运行时测试的逻辑程序的多种专业化。
机译:减少大规模逻辑的可编程逻辑引脚数的方法和电路
机译:用于减少大规模逻辑的可编程逻辑引脚数的电路
机译:可编程逻辑块的面积减小的冻结逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。