WebOPAC Local目録検索結果一覧

目録検索 ▼
アカウントサービス ▼

学内
他大学
国立国会図書館
海外
その他のタブ

*出版年(西暦)：	～	コード：
ISBN/ISSN：		*出版国コード：
NCID：		*言語コード：
書誌ID：		分類：
資料ID：		*資料形態：
請求記号：
コード：
*出版国コード：
*言語コード：
分類：
*資料形態：
ソート順：		一覧表示件数：
一覧表示件数：

*資料種別：	全て図書雑誌

*出版年(西暦)：		コード：
ISBN/ISSN：		*出版国コード：
NCID：		*言語コード：

分類：
コード：
*出版国コード：
*言語コード：
一覧表示件数：

書誌検索結果一覧1件～1件（全1件）

全て選択

名古屋大学附属図書館

Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques, University of Ottawa. -- IEEE Computer Society, c2003.

全て選択

このページのTOPへ

絞り込み検索

書誌検索結果一覧1件～1件（全1件）

エクスポート先選択

Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada



国立国会図書館サーチを検索して、国内の資料を探します

タグを含む

タグを含む



WorldCatを検索して、海外の資料を探します



WorldCatを検索して、海外の資料を探します