Yu. V. Matiyasevich. Desyataya problema Gil'berta. Russian original of the preceding. Matematicheskaya logika i osnovaniya matematiki. VO “Nauka,” Moscow1993, 223 pp. - Christos H. Papadimitriou. Computational complexity. Addison-Wesley Publishing Company, Reading, Mass., etc., 1994, xv + 523 pp.
Journal of Symbolic Logic（1997）
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要