ID:DA01987694
LICS
IEEE Symposium on Logic in Computer Science
同姓同名の著者を検索
IEEE c2023
2/2
所蔵館1館
1/2
IEEE c2021
IEEE c2019
IEEE c2017
[v. 1] , [v. 2]
IEEE c2016
IEEE Computer Society c2015
IEEE Computer Society c2013
Institute of Electrical and Electronic Engineers c2012
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society c2011
所蔵館2館
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
IEEE Computer Society c2010
IEEE Computer Society c2009
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
IEEE Computer Society c2008
所蔵館3館
sponsored by SIGPLAN
Association for Computing Machinery c2007
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]
IEEE Computer Society c2006
所蔵館7館
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
IEEE Computer Society c2005
所蔵館11館
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
IEEE Computer Society c2004
所蔵館12館
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
IEEE Computer Society c2003
所蔵館16館
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
IEEE Computer Society c2002