121. Techniques admissible recursion theory
Author: Chong, Chi Tat
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursion theory
Classification :
QA
3
.
L28
no
.
1106
122. Techniques of admissible recursion theory
Author: Chong, Chi-Tat, 9491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
3
.
L28
Vol
.
1106
123. Techniques of admissible recursion theory
Author: Chong, Chi-Tat
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
C45
1984
124. Techniques of admissible recursion theory
Author: Chong, Chi-Tat
Library: Central Library and Documentation Center (Kerman)
Subject: ، Recursion theory
Classification :
QA
1
.
L4
v
.
1106
125. Techniques of admissible recursion theory
Author: Chong, C.-T. )Chi-Tat(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory
Classification :
QA
3
.
L28
no
.
1106
126. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
Author: edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
Classification :
QA
9
.
6
.
K53
1978
127. The Recursion method and its applications : Proceedings of the Conference, Imperial College, London, England, September 13-14, 1984
Author: editors, D.G. Pettifor and D.L. Weaire
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Methodology -- Congresses ، Solid state physics,Congresses ، Recursion theory
Classification :
QC
176
.
A1R43
1985
128. The recursion method: application to many-body dynamics
Author: Viswanath, V. S.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Many-body problem,، Recursion theory,، Numerical analysis
Classification :
QC
174
.
17
.
P7
V58
1994
129. The role of true finiteness in the admissible recursively enumerable degrees
Author: Greenberg, Noam, 4791-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory,، Recursively enumerable sets,، Finite, The
Classification :
QA
3
.
A475
no
.
854
130. Theory of computation
Author: / Dexter C. Kozen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computational complexity.,Computer science--Mathematics,Recursion theory.
Classification :
QA
,
267
.
7
,.
K69
,
2006
131. Theory of computation
Author: / Dexter C. Kozen
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computational complexity,Computer science -- Mathematics,Recursion theory
Classification :
QA
267
.
7
.
K69
2006
132. Theory of computation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational complexity. ; Computer science ; Mathematics. ; Recursion theory. ;
133. Theory of computation : with 75 illustrations
Author: Kozen, Dexter
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Computational complexity,Mathematics ، Computer science,، Recursion theory
Classification :
QA
267
.
7
.
K69
2006
134. Thinking recursively
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Recursion theory. ;
135. Thinking recursively
Author: / Eric Roberts
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Recursion theory.
Classification :
QA
,
9
.
6
,.
R63
,
1986
