1. The incomputable : journeys beyond the Turing barrier
پدیدآورنده : S. Barry Cooper, Mariya I. Soskova, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
63
.
I52
