Proceedings / Symposium on Logic in Computer Science
データ種別 | 図書 |
---|---|
出版情報 | Washington, D.C. : IEEE Computer Society Press , c1986- |
本文言語 | 英語 |
大きさ | v. : ill. ; 28 cm |
所蔵情報を非表示
配架場所 | 請求記号 | 巻 次 | ISBN | 資料番号 | 資料状態 | 利用注記 | コメント | 予約・取寄 | 申込書 | 仮想書架 |
---|---|---|---|---|---|---|---|---|---|---|
2号館集密書庫(図書) | QA:75.5:S9574a:1987 | 1987 |
|
870366569 |
|
|
||||
2号館集密書庫(図書) | QA:75.5:S9574a:1988 | 1988 |
|
880352680 |
|
|
||||
2号館集密書庫(図書) | QA:75.5:S9574a:1989 | 1989 |
|
890215447 |
|
|
||||
2号館集密書庫(図書) | QA:75.5:S9574a:1990 | 1990 |
|
000114103 |
|
|
||||
2号館集密書庫(図書) | QA:75.5:S9574a:1992 | 1992 |
|
001440326 |
|
|
||||
2号館集密書庫(図書) | QA:75.5:S9574a:1993 | 1993 |
|
001440335 |
|
|
||||
2号館集密書庫(図書) | QA:75.5:S9574a:1994 | 1994 |
|
001744815 |
|
|
||||
2号館集密書庫(図書) | QA:75.5:S9574a:1997 | 1997 |
|
002589709 |
|
|
||||
2号館集密書庫(図書) | QA:75.5:S9574a:1998 | 1998 |
|
002767107 |
|
|
書誌詳細を非表示
別書名 | 略タイトル:Proc. - Symp. Logic Comput. Sci キータイトル:Proceedings - Symposium on Logic in Computer Science その他のタイトル:Logic in computer science IEEE Conference publications |
---|---|
一般注記 | Current Frequency: Annual [1st] (June 16-18, 1986)- . -- Published: Los Alamitos, CA, 1990- Sponsored by: the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science, 1986-<1990> |
著者標目 | *Symposium on Logic in Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing Association for Symbolic Logic ACM Special Interest Group for Automata and Computability Theory European Association for Theoretical Computer Science |
件 名 | LCSH:Electronic data processing -- Congresses
全ての件名で検索
LCSH:Electronic digital computers -- Programming -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索 LCSH:Computer programs -- Correctness -- Congresses 全ての件名で検索 |
分 類 | LCC:QA75.5 DC20:004/.01/5113 |
巻冊次 | 1987 1988 1989 1990 1992 1993 1994 1997 1998 |
類似資料
この資料の利用統計
全貸出数:0回
(3か月以内の貸出:0回)
※2002年7月22日以降