Institut fuer Informatik Technische Universitaet Muenchen;
机译:从Monadic Hol功能产生证明合成Cakem1
机译:生成证明的将高阶逻辑转换为纯状态XML
机译:ML的高阶逻辑的证明生成综合
机译:证明程序分析
机译:处方药监测计划有效吗? 处方药监测计划(PDMPS)运作变异对处方阿片类药物滥用和滥用影响的分析
机译:编程细胞死亡配体1表达预后临床病理因子和对妇科癌症患者编程细胞死亡-1 /编程细胞死亡 - 配体1抑制剂的预测值表达的预测值以及对妇科癌症患者的抑制剂:荟萃分析
机译:证明程序分析