NICTA, Sydney, Australia,School of Computer Science and Engineering, UNSW, Sydney, Australia;
Univ. Paris-Sud, Laboratoire LRI, UMR8623, Orsay, F-91405, France CNRS, Orsay, F-91405, France;
NICTA, Sydney, Australia,School of Computer Science and Engineering, UNSW, Sydney, Australia;
机译:Eisbach:Isabelle的证明方法语言
机译:Isabelle / Scala和Isabelle / jEdit的异步证明处理
机译:在多语言环境中探索语言:语言文档中的变异,互动和意识形态 i>,由Bettina Migge和IsabelleLéglise撰写
机译:一种isabelle验证方法语言
机译:证明方法:数学课程证明的新案例。
机译:迈向Lezgian语言(北高加索地区)的正式族谱分类:测试词汇数据上的各种系统发育方法
机译:Isabelle / HOL的证明策略语言和证明脚本生成