کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابProofs and Types
پدیدآورنده: Jean-Yves Girard,Paul Taylor,Yves Lafont
کتابخانه: كتابخانه دانشگاه پيام نور اصفهان (اصفهان)
موضوع: Calculus
رده :
QA
،
303
،.
G4
,
P5


Proofs and types
پدیدآورنده: / Jean-Yves Girard
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Logic, Symbolic and mathematical,Type theory
رده :
E-BOOK

Proofs and types
پدیدآورنده : Girard, Jean-Yves
موضوع : ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
Proofs and types
پدیدآورنده: / Jean-Yves Girard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Lambda calculus
رده :
QA9
.
5
.
G57
1989


Proofs and types
پدیدآورنده: Jean-Yves Girard; translated and with appendices by Paul Taylor, Yves Lafont
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
G58


Types for Proofs and programs : International Workshop TYPES'93, Nijmegen, The Netherlands, May 1993 : selected papers
پدیدآورنده: Henk Barendregt, Tobias Nipkow, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
806


Types for proofs and programs :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving ; Congresses ; Computer programming ; Congresses ;

Types for proofs and programs :
پدیدآورنده: Paul Callaghan ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2000


Types for proofs and programs
پدیدآورنده: / Paul Callaghan ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses,Computer programming--Congresses
رده :
QA
,
76
.
9
,.
A96
,
T96
,
2000


Types for proofs and programs :
پدیدآورنده: Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2004


Types for proofs and programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 : selected papers
پدیدآورنده: Eduardo Gimenez, Christine Paulin-Mohring )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1512


Types for proofs and programs : International Workshop TYPES'94, Bastad, Sweden, June 1994: Selected papers
پدیدآورنده: Peter Dybjer, Bengt Nordstrom, Jan Smith )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
996


Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
پدیدآورنده: Paul Callaghan...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277


Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
پدیدآورنده: Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657


Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
پدیدآورنده: Thierry Coquand...]et al.[, )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1956


Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
پدیدآورنده: Stefano Berardi, Mario Coppo, Ferruccio Damiani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3085


Types for proofs and programs: International Workshop, TYPES'95, Torino, Italy, June 5-8, 1995 : selected papers
پدیدآورنده: Stefano Berardi, Mario Coppo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1158


Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
پدیدآورنده: Herman Geuvers, Freek Wiedijk )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2646

