彼得·哈耶克;卡米拉·本多娃;Zdeněk伦克 GUHA方法和三值逻辑。 （英语） Zbl 0232.68034号 克贝内提卡，普拉哈 7, 421-435 (1971). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于9文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） PDF格式BibTeX公司 XML格式引用 \textit{P.Hájek}等人，Kybernetika 7，421--435（1971；Zbl 0232.68034） 全文： 欧洲DML 参考文献： [1] P.Hájek I.Havel M.Chytil：GUHA-metoda automatického vyhledáváníhypéz。Kybernetika 2（1966），2，31-47。 [2] P.Hájek I.Havel M.Chytil：GUHA-metoda automatického vyhledáváníhypotaéz II。Kybernetika 3（1967），第2430-437页。 [3] 哈耶克：古哈问题。Kybernetika 4（1968），6505-515。 [4] P.Hájek I.Havel M.Chytil：自动假设确定的GUHA方法。计算1（1966），4293-308·Zbl 0168.26105号 ·doi:10.1007/BF02345483 [5] S.C.Kleene：元数学导论。阿姆斯特丹，1952年·Zbl 0047.00703号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。