関連資料一覧：（本学所蔵）

検索条件入力＞書誌詳細＞関連資料一覧：（本学所蔵）

関連資料一覧：（本学所蔵）

著者名典拠情報

NCID	DA01948852
名称(HDNG)	Girard, Jean-Yves
から見よ(SF)	Girard, J.-Y
注記(NOTE)	Proof theory and logical complexity, c1987: t.p. (Jean-Yves Girard)
LCAID	83145935

図書(2件)

選択行を：

資料名

所在

1

Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier ; : pbk. -- Cambridge University Press, 1995. -- (London Mathematical Society lecture note series ; 222).

理数学 410.9:A

2

Proofs and types / Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont. -- Cambridge University Press, 1989. -- (Cambridge tracts in theoretical computer science ; 7).

教養共５Ｆ英語 007.1:G

選択行を

▲ページトップへ

カナ
英字
ＥＸＣ
ギリシャ
キリル
ハングル

ＥＸＣ

ＥＸＣ

ＥＸＣ

ＥＸＣ

초성

중성

종성