汉斯·尤根·奥巴赫 取消自我解决条款。 (英语) Zbl 0901.03014号 J.汽车。推理 20,第3期,317-336(1998). 审核人:约瑟夫·萨伊达(布拉迪斯拉发) MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach},J.Autom(汽车公司)。推理20,No.3,317--336(1998;Zbl 0901.03014) 全文: DOI程序
汉斯·尤根·奥巴赫;克里斯托夫·韦登巴赫 关于Skolem函数假设的注记。 (英语) Zbl 0879.03006号 J.汽车。推理 15,第267-275号(1995年). 审核人:G.Dowek(勒切斯奈) MSC公司:03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{C.Weidenbach},J.Autom。推理15,No.2,267--275(1995;Zbl 0879.03006) 全文: DOI程序
汉斯·尤根·奥巴赫 抽象子句图中的链接继承。 (英语) Zbl 0635.68107号 J.汽车。推理 3, 1-34 (1987). 审核人:G.卷轴-巴兰 MSC公司:68吨15 68T20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach},J.Autom(汽车公司)。推理3,1--34(1987年;Zbl 0635.68107) 全文: DOI程序
汉斯·尤根·奥巴赫 问题角落:谓词逻辑黑客把戏。 (英语) Zbl 0616.68078号 J.汽车。推理 1, 435-440 (1985).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach},J.Autom(汽车公司)。推理1435-440(1985;Zbl 0616.68078)
霍尔巴赫,H.J。;施密特·肖斯,M。 问题角:狮子和独角兽。 (英语) Zbl 0616.68077号 J.汽车。推理 1, 327-332 (1985).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{M.Schmidt Schauss},J.奥托姆。推理1327--332(1985;Zbl 0616.68077)