WebOPAC Local目録検索結果一覧

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

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

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

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

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

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

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

全て選択

名古屋大学附属図書館

Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands

sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science ; : paper, : case, : microfiche. -- IEEE Computer Society Press, c1991.

全て選択

このページのTOPへ

絞り込み検索

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

エクスポート先選択

Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands



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

タグを含む

タグを含む



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



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