1. Enumerability, decidability, computability. An introduction to the theory of recursive functions
المؤلف: Hermes, Hans.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
2. Enumerability, decidability, computability; an introduction to the theory of recursive functions
المؤلف: Hermes, Hans.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
H413
3. Enumerability, decidability, computability; an introduction to the theory of recursive functions
المؤلف: Hermes, Hans
المکتبة: (طهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H413
