کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابThe Lambda Calculus : its Syntax and Semantics
پدیدآورنده: H.P. Barendregt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Lambda calculus
رده :
QA
9
.
5
.
B36
1984


The lambda calculus; its syntax and semantics
پدیدآورنده: Barendregt, Hendrik Pieter
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Lambda Calculus
رده :
511
B248l


The lambda calculus; its syntax and semantics
پدیدآورنده: Barendregt, Hendrik Pieter
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Lambda Calculus
رده :
511
B248l

