کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابComputability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده: by Dimiter G. Skordev
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory,، Combinatory logic
رده :
QA
9
.
6
.
S56
Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده: Skordev, Dimiter Genchev
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Recursion theory,، Comlinatory logic
رده :
QA
9
.
6
.
S55
1992
