The Decision Problem for Exponential Diophantine Equations

Annals of Mathematics - Tập 74 Số 3 - Trang 425 - 1961
Martin Davis, Hilary Putnam, Julia Robinson

Tóm tắt

Từ khóa


Tài liệu tham khảo