検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA09155516
名称(HDNG)Regnier, Laurent
注記(NOTE)Advances in linear logic, 1995: CIP t.p. (Laurent Regnier; Lab. de math. discrètes, Marseille, France)
LCAID95036776
選択行を：
選択行を
▲ページトップへ