退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:自动化抽象机器的抽象解释
Johnson, James Ian;
Northeastern University;
机译:作为自动演绎的抽象解释
机译:PostHat和所有这些:自动化抽象解释
机译:定时抽象状态机语言:实时系统工程的抽象状态机
机译:通过抽象解释基于语言的安全性的新挑战改造抽象解释
机译:抽象解释责任分析
机译:研究筛选器:半自动化抽象筛选的机器学习工具用于系统评价
机译:抽象抽象机器的重新化:弥合抽象抽象机器和抽象定义口译员之间的差距(功能珍珠)
机译:具有同余抽象域和/或堆继承抽象域的抽象解释
机译:抽象信息编码方法,抽象信息编码设备,抽象信息编码程序和抽象信息重构方法,抽象信息重构设备,抽象信息重构程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。