寄付 2024年9月15日 – 2024年10月1日 募金について
1
Proofs and Types

Proofs and Types

Jean-Yves Girard, Yves Lafont, Paul Taylor
年:
2003
言語:
english
ファイル:
PDF, 843 KB
0 / 0
english, 2003
2
The Blind Spot: Lectures on Logic

The Blind Spot: Lectures on Logic

Jean-Yves Girard
年:
2011
言語:
english
ファイル:
PDF, 2.01 MB
0 / 0
english, 2011
3
Linear logic in computer science

Linear logic in computer science

Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott
年:
2004
言語:
english
ファイル:
PDF, 3.84 MB
0 / 0
english, 2004
4
Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

Jean-Yves Girard
年:
1990
言語:
english
ファイル:
DJVU, 3.82 MB
0 / 0
english, 1990
5
Advances in linear logic

Advances in linear logic

Jean-Yves Girard, Yves Lafont, Laurent Regnier
年:
1995
言語:
english
ファイル:
PDF, 3.36 MB
0 / 0
english, 1995
6
The Blind Spot: Lectures on Logic

The Blind Spot: Lectures on Logic

Jean-Yves Girard
年:
2011
言語:
english
ファイル:
PDF, 3.26 MB
0 / 0
english, 2011
7
Cinq conférences sur l'indécidabilité

Cinq conférences sur l'indécidabilité

Nicolas Bouleau, Jean-Yves Girard, Alain Louveau
年:
1983
言語:
french
ファイル:
DJVU, 615 KB
0 / 0
french, 1983
8
Linear logic in computer science

Linear logic in computer science

Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott
年:
2004
言語:
english
ファイル:
DJVU, 2.28 MB
0 / 0
english, 2004
9
Ma vie dans le noir: Une journée dans la peau d'une non-voyante

Ma vie dans le noir: Une journée dans la peau d'une non-voyante

Marie-Christine Ricignuolo & Jean-Yves Girard
年:
2022
言語:
french
ファイル:
EPUB, 4.17 MB
0 / 0
french, 2022
10
Linear Logic

Linear Logic

Jean-Yves Girard
年:
1987
言語:
english
ファイル:
DJVU, 1.90 MB
0 / 0
english, 1987
11
Face à faces, Biographie de Michel Courtemanche

Face à faces, Biographie de Michel Courtemanche

Jean-Yves Girard [Girard, Jean-Yves]
年:
2018
言語:
french
ファイル:
EPUB, 1.46 MB
0 / 0
french, 2018
12
Ici et maintenant

Ici et maintenant

Girard Jean-Yves, Castel France
年:
2016
言語:
french
ファイル:
EPUB, 10.73 MB
0 / 5.0
french, 2016
13
Proof Theory and Logic Complexity: Volume 1

Proof Theory and Logic Complexity: Volume 1

Jean-Yves Girard
年:
1987
言語:
english
ファイル:
PDF, 35.62 MB
0 / 5.0
english, 1987
14
Advances in linear logic

Advances in linear logic

Jean-Yves Girard, Yves Lafont, Laurent Regnier
年:
1995
言語:
english
ファイル:
DJVU, 2.38 MB
0 / 0
english, 1995
15
Proofs and Types

Proofs and Types

Jean-Yves Girard, Yves Lafont, Paul Taylor
年:
1989
言語:
english
ファイル:
DJVU, 1.25 MB
0 / 0
english, 1989
16
Ma vie dans le noir

Ma vie dans le noir

Marie-Christine Ricignuolo, Jean-Yves Girard
年:
2022
言語:
french
ファイル:
EPUB, 1.16 MB
0 / 0
french, 2022
17
Face à faces, Biographie de Michel Courtemanche

Face à faces, Biographie de Michel Courtemanche

Girard, Jean-Yves [Girard, Jean-Yves]
年:
2018
言語:
french
ファイル:
EPUB, 1.46 MB
0 / 0
french, 2018
18
Face a faces, Biographie de Michel Courtemanche

Face a faces, Biographie de Michel Courtemanche

Girard, Jean-Yves [Girard, Jean-Yves]
年:
2018
言語:
french
ファイル:
EPUB, 1.45 MB
0 / 0
french, 2018
19
Ici et maintenant

Ici et maintenant

France Castel avec Jean-Yves Girard
言語:
french
ファイル:
EPUB, 30.51 MB
0 / 0
french
20
Ici et maintenant

Ici et maintenant

Jean-Yves Girard & France Castel [Girard, Jean-Yves & Castel, France]
年:
2016
言語:
french
ファイル:
EPUB, 10.73 MB
0 / 0
french, 2016
24
Ici et maintenant

Ici et maintenant

Jean-Yves Girard & France Castel [Girard, Jean-Yves & Castel, France]
年:
2016
言語:
french
ファイル:
EPUB, 10.73 MB
0 / 0
french, 2016
25
Face à faces, Biographie de Michel Courtemanche

Face à faces, Biographie de Michel Courtemanche

Jean-Yves Girard [Girard, Jean-Yves]
年:
2018
言語:
french
ファイル:
EPUB, 3.40 MB
0 / 0
french, 2018
26
Face à faces, Biographie de Michel Courtemanche

Face à faces, Biographie de Michel Courtemanche

Jean-Yves Girard
言語:
french
ファイル:
EPUB, 6.86 MB
0 / 0
french
27
Ici et maintenant

Ici et maintenant

France Castel avec Jean-Yves Girard
言語:
french
ファイル:
EPUB, 30.51 MB
0 / 0
french