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

جستجوی کتاب

Proofs and Types

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه پيام نور اصفهان (اصفهان)

موضوع: Calculus

رده :
QA
،
303
،.
G4
,
P5

Proofs and types

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Proof theory,Logic, Symbolic and mathematical,Type theory

رده :
E-BOOK

Proofs and types

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Lambda calculus

رده :
QA9
.
5
.
G57
1989

Proofs and types

پدیدآورنده:

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

موضوع: ، Proof theory

رده :
QA
9
.
54
.
G58

Types for proofs and programs

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Automatic theorem proving--Congresses,Computer programming--Congresses

رده :
QA
,
76
.
9
,.
A96
,
T96
,
2000