WebOPAC Local目録検索結果一覧

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

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

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

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

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

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

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

全て選択

名古屋大学附属図書館

Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center ; : soft, : case, : microfiche. -- IEEE Computer Society Press, c1996.

全て選択

このページのTOPへ

絞り込み検索

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

エクスポート先選択

Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey



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

タグを含む

タグを含む



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



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