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