1. Computability

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Recursive functions,Unsolvability )Mathematical logic(,Computable functions

رده :
QA
.
D38
9
.
615
1982

2. Computability and unsolvability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions

رده :
QA
9
.
615
.
D38
1982

3. Computability & unsolvability

پدیدآورنده :

موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

4. Computability & unsolvability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS

رده :
QA
9
.
615
.
D38

5. Computability & unsolvability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTERS FUNCTIONS

رده :
QA
9
.
615
.
D38
1982

6. Degrees of unsolvability

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(

رده :
QA
9
.
S518

7. Degrees of unsolvability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(

رده :
QA
1
.
A626
no
.
55
1966

8. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions

رده :
QA
9
.
65
.
U53
2004

9. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions

رده :
QA
9
.
65
.
U53