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

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

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

著者名典拠情報

NCID	DA0325502X
名称(HDNG)	Lafont, Yves
から見よ(SF)	Lafont, Y
注記(NOTE)	CNRS, Ecole normale supérieure, Paris
LCAID	50040501

図書(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

選択行を

▲ページトップへ

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

ＥＸＣ

ＥＸＣ

ＥＸＣ

ＥＸＣ

초성

중성

종성