کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:

جستجوی کتاب

The Lambda Calculus : its Syntax and Semantics

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Lambda calculus

رده :
QA
9
.
5
.
B36
1984

The lambda calculus; its syntax and semantics

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Lambda Calculus

رده :
511
B248l

The lambda calculus; its syntax and semantics

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Lambda Calculus

رده :
511
B248l