201. Recursion theory
پدیدآورنده : Shoenfield, Joseph Robert, 7291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
A1L44
Vol
.
1
202. Recursion theory
پدیدآورنده : edited by Anil Nerode and Richard A. Shore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Recursion theory
رده :
QA
1
.
P7
Vol
.
42
203. Recursion theory
پدیدآورنده : / Joseph R. Shoenfield
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Recursion theory
رده :
QA9
.
6
.
S48
2001
204. Recursion theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
R4
1985
205. Recursion theory
پدیدآورنده : Shoenfield, Joseph Robert
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S48
1993
206. Recursion theory and computational complexity
پدیدآورنده : G . Lolli)ED(
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع :
رده :
QA
9
,.
6
.
R4
2010
207. Recursion theory for metamathematics
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S68
1993
208. Recursion theory week : proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1141
209. Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
پدیدآورنده : K. Ambos-Spies, G. H. Muller, G. E. Sacks )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1432
210. Recursion theory week: proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1432
211. Recursion theory week: proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1141
212. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Recursion theory
رده :
QA
1
.
L4
v
.
1141
213. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
9
.
6
.
R4
1984
214. Recursion theory week: proceedings of a conference held in Oberwolfach, west Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Recursion theory,، Representations of groups
رده :
QA
3
.
L28
no
.
1141
215. Recursive analysis
پدیدآورنده : Goodstein, Reuben Louis
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory
رده :
QA
248
.
5
.
G6
216. Recursive aspects of descriptive set theory /
پدیدآورنده : Richard Mansfield, Galen Weitkamp ; with a chapter by Stephen Simpson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Descriptive set theory.,Recursion theory.,Descriptive set theory.,Deskriptive Mengenlehre.,Deskriptive Mengenlehre.,Recursie.,Recursion theory.,Rekursionstheorie.,Rekursionstheorie.,Verzamelingen (wiskunde)
رده :
QA248
.
M284
1985
217. Resources for teaching discrete mathematics :
پدیدآورنده : edited by Brian Hopkins
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics-- Study and teaching (Higher)-- United States,Mathematics-- Study and teaching (Higher)-- United States
رده :
QA13
.
R4768
2009
218. Risk Theory
پدیدآورنده : by Robert Eric Beard, Teivo Pentikäinen, Erkki Pesonen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Science (General).
219. Semantics of parallelism :
پدیدآورنده : Michael W. Shields
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Programming languages (Electronic computers) -- Semantics
رده :
QA76
.
58
M534
1997
220. Set theory and hierarchy theory V ... 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, and A. Zarach
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory -- Hierarchies,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
619
