The Decision Problem for Exponential Diophantine Equations

著者: Martin Davis, Hilary Putnam, Julia Robinson - Annals of Mathematics 1961 被引用: 329