机译:分层综合:自动学习x86-64指令集
机译:基于语义完整模型和语义完整查询语言的语义数据集成系统架构
机译:键化广义草图的变量集语义:用于对象标识的形式语义和用于概念建模的抽象语法
机译:通用形式系统的语义完整性和句法完整性之间的关系
机译:REZ9协处理器系统的指令集体系结构和指令执行单元的设计和实现
机译:Spark-MCA:用于评估SNOMED CT语义完整性的大规模详尽的形式概念分析
机译:x86指令集体系结构的正式规范
机译:RIsC-V指令集手册。第1卷:用户级Isa,版本2.0