Institute of Information Security, Department of Computer Science, ETH Zurich, Zurich, Switzerland;
机译:使用Isabelle / Hol从大会视角来验证智能城市中的内容互联网的操作系统
机译:Isabelle / Hol的认证量子计算
机译:SPARC指令集架构和TSO内存模型的isabelle / HOL形式化
机译:Isabelle / Hol中的快速机器词
机译:一种机器辅助的智能索引生成方法:使用自然语言处理和潜在语义分析来确定语料库中单词之间的上下文和关系。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:伊莎贝尔机器单词理论