OPAC

Proceedings / Symposium on Logic in Computer Science

データ種別	図書
出版者	Washington, D.C. : IEEE Computer Society Press
出版年	c1986-
本文言語	英語
大きさ	v. : ill. ; 28 cm

配架場所	請求記号	巻　次	資料番号	予約・取寄	申込書	仮想書架
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