Isabelle/HOL; recommendation system; data mining; proof method; interactive theorem prover;
机译:带有期货的异步组件:Isabelle / HOL中的语义和证明
机译:使用Isabelle / Hol从大会视角来验证智能城市中的内容互联网的操作系统
机译:Eisbach:Isabelle的证明方法语言
机译:PAMPER:Isabelle / Hol的证明方法推荐系统
机译:通过指导改进智能分析:数据挖掘和分析系统的使用模式分析和改进以及推荐方法
机译:监测医院饮用水系统中军团菌种的培养方法的比较并建议标准化这些方法。
机译:Isabelle / HOL的证明策略语言和证明脚本生成