机译:将外部演绎工具与Acl2集成
automated reasoning; decision procedures; first-order logic; interfaces; theorem proving;
机译:正确的工作工具:使用ACL2和HOL4证明减少影响锥的正确性
机译:使用AIMSUN交通模拟器作为评估CAV对交通影响的工具的外部车辆运动模拟
机译:通过集成第三方外部工具在MOOC中边干边学的研究:同步和异步运行模式的比较
机译:整合HOL和ACL2
机译:CATDS(计算机辅助工具设计系统):开发集成体系结构,以结合粉末冶金工具设计知识和常规计算机辅助设计系统。
机译:用于检测和推导曲霉菌种的唑类抗真菌药物耐药表型的分子工具
机译:将外部扣除工具与ACL2集成