کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابAlgebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده: Cyrus F. Nourani
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
Algebraic recursion theory /
پدیدآورنده: L.L. Ivanov ; editor, Dr. J.L. Bell
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Recursion theory
رده :
QA9
.
6
.
I93
1986
Algebraic recursion theory
پدیدآورنده: L.L. Ivanov; editor J.L. Bell
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
I93
Bounded Queries in Recursion Theory
پدیدآورنده: \ William 1. Gasarch, Georgia A. Martin
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Information theory,Computational complexity,کامپیوتر,نظریه اطلاعات,پیچیدگی محاسباتی,a03,a04,a05,a03,a04,a05
رده :
E-Book
,
Bounded Queries in Recursion Theory
پدیدآورنده: by William I. Gasarch, Georgia A. Martin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
Bounded queries in recursion theory
پدیدآورنده: William I. Gasarch, Georgia A. Martin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Recursion theory
رده :
QA
267
.
7
.
G3
Classical recursion theory: the theory of functions and sets of natural numbers
پدیدآورنده: Odifreddi, Piergiorgio
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
O35
1989
Classical recursion theory : the theory of functions and sets of natural numbers
پدیدآورنده: / Piergiorgio Odifreddi
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Recursion theory
رده :
QA9
.
6
.
O35
1989
Classical recursion theory : the theory of functions and sets of natural numbers
پدیدآورنده: Piergiorgio Odifreddi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
O35
1989
Complexity, Logic, and Recursion Theory
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: MATHEMATICS / Applied.,MATHEMATICS / General.
Complexity, logic, and recursion theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Recursion theory. ;
Computability theory: An introduction to recursion theory
پدیدآورنده: / Enderton H.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Computability theory : an introduction to recursion theory
پدیدآورنده: Herbert B. Enderton
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
E53C6
Computability theory :an introduction to recursion theory
پدیدآورنده: / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursion theory
رده :
511
.
35
E56C
2011
Foundations of mathematical system dynamics : the fundamental theory of causal recursion and its application to social science and economics
پدیدآورنده: Aulin, Arvid.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Economics, Mathematical,، Social sciences- Statistical methods
رده :
HB
135
.
A865
1989
Fundamentals of generalized recursion theory
پدیدآورنده: Melvin Fitting
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
Fundamentals of generalized recursion theory
پدیدآورنده: Fitting, Melvin
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
General recursion theory
پدیدآورنده: Jens E. Fenstad
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F46
1980
General recursion theory : an axiomatic approach
پدیدآورنده: Fenstad, Jens Erik.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F46
Generalized recursion theory. Proceedings of the 1972 Oslo symposium
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
Generalized recursion theory; proceedings of the 1972 Oslo Symposium
پدیدآورنده: / edited by J. E. Fenstad and P. G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursive functions
رده :
515
.
25
S989
1972
Higher recursion theory
پدیدآورنده: Sacks, Gerald E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
Higher recursion theory
پدیدآورنده: Gerald E. Sacks
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
Higher recursion theory
پدیدآورنده: / Gerald E. Sacks
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Recursion theory.
رده :
QA
,
9
.
6
,.
S23
,
1990
Higher recursion theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Recursion theory. ;
Higher recursion theory
پدیدآورنده: Gerald E. Sacks.,Sacks, Gerald E.,
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursion theory.
رده :
QA9
.
6
.
S23
2016
#Recursion theory
پدیدآورنده : Shoenfield, Joseph R.)Joseph Robert(
موضوع : ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Recursion theory
پدیدآورنده: edited by Anil Nerode and Richard A. Shore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Recursion theory
رده :
QA
1
.
P7
Vol
.
42
Recursion theory
پدیدآورنده: Joseph R. Shoenfield
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
A1L44
Vol
.
1
Recursion theory
پدیدآورنده: / Joseph R. Shoenfield
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Recursion theory
رده :
QA9
.
6
.
S48
2001
Recursion theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
R4
1985
Recursion theory
پدیدآورنده: Shoenfield, Joseph Robert
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S48
1993
Recursion theory and computational complexity
پدیدآورنده: G . Lolli)ED(
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع:
رده :
QA
9
,.
6
.
R4
2010
Recursion theory for metamathematics
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S68
1993
Recursion theory week
پدیدآورنده: / edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursion theory -- Congresses
رده :
QA
9
.
6
.
R4
1984
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
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
Recursion theory week: proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1432
Recursion theory week: proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1141
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
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
Sets, models and recursion theory
پدیدآورنده: / Edited by John N. Crossley
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,Set theory
رده :
QA
9
.
S847
Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
پدیدآورنده: Edited by John N. Crossley
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S86
1965
Techniques admissible recursion theory
پدیدآورنده: Chong, Chi Tat
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursion theory
رده :
QA
3
.
L28
no
.
1106
Techniques of admissible recursion theory
پدیدآورنده: Chong, Chi-Tat
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Recursion theory
رده :
QA
1
.
L4
v
.
1106
Techniques of admissible recursion theory
پدیدآورنده: / C.T. Chong
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursion theory
رده :
QA
9
.
6
.
C45
1984
Techniques of admissible recursion theory
پدیدآورنده: C. T. Chong
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1106
