1.

図書
図書
1. Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
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 ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
2.

図書
図書
2. Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic Conference
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Logic, European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002
所蔵情報: loading…
3.

図書
図書
3. Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: loading…
4.

図書
図書
4. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004
所蔵情報: loading…
5.

図書
図書
5. Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005
所蔵情報: loading…
6.

図書
図書
6. 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
所蔵情報: loading…
7.

図書
図書
7. 2009 24th Annual IEEE Symposium on Logic in Computer Science : (LICS 2009) : Los Angeles, California, USA 11-14 August 2009
Symposium on Logic in Computer Science
出版情報: Los Angeles, California : IEEE Computer Society, c2009
所蔵情報: loading…
8.

図書
図書
8. Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom
supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2010
所蔵情報: loading…
9.

図書
図書
9. Proceedings : 26th Annual IEEE Symposium on Logic in Computer Science : Toronto, Ontario, Canada 21-24 june 2011
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2011
所蔵情報: loading…
10.

図書
図書
10. Proceedings : 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : 12-15 August 2006, Seattle, Washington
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2006
所蔵情報: loading…