1. Computability & unsolvability
پدیدآورنده : Davis, Martin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
رده :
QA
248
.
5
.
D3
2. Computability & unsolvability
پدیدآورنده : Davis, Martin
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
رده :
QA
9
.
615
.
D38
1982
3. Computability & unsolvability
پدیدآورنده : Davis, Martin
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
D3