کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابAlgorithms and recursive functions /
پدیدآورنده: A. I. Mal'cev ; translated from the first Russian edition by Leo F. Boron ; with the collaboration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده: Harmes, Hans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions,، Algebraithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans.
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
Enumerability decidability computability : an introduction to the theory of recursive functions
پدیدآورنده: Hans Hermes; translated by G.T. Hermann and O. Plassmann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده: / by Hans Hermes. Translated by G.T Herman and O. Plassmann
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursive functions,Algorithms,Godel's theorem,Computable functions
رده :
QA
248
.
5
.
H413
Formal systems and recursive functions /
پدیدآورنده: edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
RECURSIVE FUNCTIONS IN COMPUTER THEORY
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
511
,
3
,
PET
Recursive functions
پدیدآورنده :
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
Recursive functions
پدیدآورنده: Peter, Rozsa, 1905-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Recursive functions
رده :
248
.
5
.
P413
Recursive functions and metamathematics :
پدیدآورنده: Roman Murawski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Decidability (Mathematical logic),Gödel's theorem.,Recursive functions.
The Foundations of intuitionistic mathematics; especially in relation to recursive functions
پدیدآورنده: Kleene, Stephen Cole, 9091-
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Constructive mathematics,، Recursive functions
رده :
QA
9
.
K648
The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده: / (by) Stephen Cole Kleene (and) Richard Eugene Vesley
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Intuitionistic mathematics,Recursive functions
رده :
QA
9
.
K648
The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده: Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Mathematics,، Recursive functions
رده :
QA
248
.
5
.
K6
The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده: Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
#Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
موضوع : ، Recursive functions,، Computable functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
Theory of recursive functions and effective computability
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursive functions,Computable functions
رده :
QA
248
.
5
.
R6
Theory of recursive functions and effective computability
پدیدآورنده: Rogers, Hartley, 1926-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Recursive functions
رده :
248
.
5
.
R6
Theory of recursive functions and effective computability
پدیدآورنده: Rogers, Hartley
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
R64
1987
Theory of recursive functions & effective computability
پدیدآورنده: ROGERS,HARTLEY
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: RECURSIVE FUNCTIONS
رده :
QA
248
.
5
.
R6
