کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتاب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
