Proceedings : twenty-third Annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008 Pittsburgh, Pennsylvania

タイトル、所在を表示します

Proceedings : twenty-third Annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008 Pittsburgh, Pennsylvania

フォーマット:

図書

責任表示:

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

言語:

英語

出版情報:

Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2008

形態:

xiv, 512 p. ; 28 cm

著者名:

書誌ID:

BA87256630

ISBN:

9780769531830 [0769531830]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

その他のタイトル:	Twenty-third Annual IEEE Symposium on Logic in Computer Science : (LICS 2008) : Pittsburgh, Pennsylvania, 24-27 June 2008
資料形態(詳細):	Text
主題:	Computer science--Mathematics--Congresses; Logic, Symbolic and mathematical--Congresses
注記:	IEEE Computer Society Order Number: P3183 Includes bibliographical references and author index
登録日:	2008-10-06
分類・件名:	LCSH : Computer science -- Mathematics -- Congresses LCSH : Logic, Symbolic and mathematical -- Congresses

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 33rd Annual Symposium on Foundations of Computer Science, October 24-27, 1992, Pittsburgh, Pennsylvania : proceedings Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	7 図書 Mathematical foundations of computer science 2010 : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings Symposium on Mathematical Foundations of Computer Science, Hliněný, Petr, Kučera, A. (Antonín) Springer
2 図書 Proceedings : 46th Annual IEEE Symposium on Foundations of Computer Science : 23-25 October 2005, Pittsburgh, Pennsylvania, USA Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society	8 図書 Mathematical foundations of computer science 1999 : 24th International Symposium, MFCS '99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings Symposium on Mathematical Foundations of Computer Science, Kutyłowski, Mirosław, Pacholski, Leszek, Wierzbicki, Tomasz Springer
3 図書 Proceedings, thirteenth Annual IEEE Symposium on Logic in Computer Science, June 21-24, 1998, Indianapolis, Indiana Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society	9 図書 Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS '98, Brno, Czech Republic, August 24-28, 1998 : proceedings Symposium on Mathematical Foundations of Computer Science, Brim, Lubǒs, Gruska, Jozef, Zlatuška, Jiří Springer
4 図書 Mathematical foundations of computer science 2002 : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings Symposium on Mathematical Foundations of Computer Science, Diks, Krzysztof, Rytter, Wojciech Springer	10 図書 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938- Springer-Verlag
5 図書 Mathematical foundations of computer science 2001 : 26th International Symposium, MFCS 2001, Mariánské Láznĕ, Czech Republic, August 27-31, 2001 : proceedings Symposium on Mathematical Foundations of Computer Science, Sgall, Jiřį́, 1965-, Pultr, Aleš, Kolman, Petr Springer	11 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers Workshop on Computer Science Logic, Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for … Springer
6 図書 Mathematical foundations of computer science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings Symposium on Mathematical Foundations of Computer Science, Fiala, Jiří, Koubek, Václav, 1948-, Kratochvíl, Jan Springer	12 図書 Proceedings : 26th Annual IEEE Symposium on Logic in Computer Science : Toronto, Ontario, Canada 21-24 june 2011 Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society