Yu Matiyasevich。 算法问题不可解性确定后,该怎么办? (俄语) Zbl 0583.03025号 现代数学算法,II,Mater。国际交响乐团。,Urgench/UzSSR,1979,254-256(1982)。 [关于整个系列,请参见Zbl 0551.00013号.]Lect的英文版。注释计算。科学。122, 441-443 (1981;Zbl 0477.68035号). 引用于1文件 MSC公司: 03天35分 句子集的不确定性和程度 引文:兹比尔0551.00013;Zbl 0477.68035号 PDF格式BibTeX公司 XML格式