...
机译:历史的终结?使用校对助手将语言设计替换为图书馆设计
机译:使用SYSML设计历史助理支持产品设计决策
机译:仙女座证明助手的设计与实现
机译:使用内部构建的助教机器人进行教学设计,以增强小学英语作为外语的学习
机译:使用Sysml设计历史助理支持产品设计决策
机译:VeriML:依赖类型,用户可扩展且以语言为中心的证明助手方法
机译:眼部疾病进展(PROOF)干眼自然史研究的研究设计和基线发现
机译:历史的终结?使用proof assistant将语言设计替换为库设计
机译:应用软件,领域特定语言和语言设计助理。软件工程