1. Computability :
پدیدآورنده : edited by Jack Copeland, Carl J. Posy, and Oron Shagrir
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity,Mathematics-- Philosophy
رده :
QA267
.
7
.
C677
2013
2. Logic year 1979-80, the University of Connecticut, U.S.A
پدیدآورنده : Edited by M. Lerman, J. H. Schmerl, and R. I. Soare
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
859
3. Logic year 1979-80, the University of Connecticut, USA
پدیدآورنده : edited by M. Lerman, J.H. Schmerl, and R.I. Soare
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
859
4. Logic year 1979-80 : the University of Connecticut, USA
پدیدآورنده : edited by M. Lerman, J. H. Schmerl, and R. I. Soare
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
859
5. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
6. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Robert I. Soare,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Recursive functions,Computable functions
رده :
QA
.
S63
9
.
615
1987
7. Recursively enumerable sets and degrees :astudy of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
8. Recursively enumeralble sets and degrees
پدیدآورنده : Soare, Robert Irving, 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
