退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:抽象解释的过渡系统语义层次结构设计。
Patrick Cousot;
机译:通过抽象解释对过渡系统语义层次进行构造设计
机译:使用抽象解释的局部观测下的无限过渡系统的符号监督控制
机译:使用抽象解释的部分观测下的无限过渡系统的符号监督控制
机译:抽象解释重构语义层次
机译:自动化抽象机器的抽象解释
机译:科学示范文摘。演示文摘:计算机辅助医疗决策支持系统:移动乳房X线照相装置的微机应用设计
机译:抽象解释(扩展的抽象)的过渡系统语义层次结构的构造设计
机译:真理维护系统的构造性Fixpoint语义
机译:用于为电子设计动态抽象虚拟层次结构的方法,系统和计算机程序产品
机译:用于软件代理的语义解释装置,具有将事件和消息翻译成初始语义表示的翻译单元和识别符合该表示的语义解释模型的单元
机译:用于软件代理的事件的语义解释装置,具有用于将具有语义表示的解释模型应用到事件的解释器,以及执行单元,该执行单元基于被解释了语义的事件执行操作
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。