岐阜大学図書館蔵書検索（OPAC）

同じキーワードで他のサイトを検索できます。

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

図書

1. Advances in linear logic (: pbk)

edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier

出版情報:	Cambridge : Cambridge University Press, 1995
シリーズ名:	London Mathematical Society lecture note series ; 222
子書誌情報:	loading…
所蔵情報:	図書館

図書

2. Proofs and types

Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont

出版情報:	Cambridge : Cambridge University Press, 1989
シリーズ名:	Cambridge tracts in theoretical computer science ; 7
子書誌情報:	loading…
所蔵情報:	図書館