Computer science logic : 17th international workshop CSL 2003 12th annual conference of the EACSL

出版社:Berlin ; New York : Springer, c2003.,New York : Springer, 2003.
ISBN:3540408010
出版年:2003
作者:International workshop CSL 2003
资源类型:图书
细分类型:西文文献
相关推荐

Computer science logic : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL,

  • 作者:CSL 2008
  • ISBN:9783540875307
  • 出版社:Berlin ; New York : Springer, c2008.
  • 出版年:2008

Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL,

  • 作者:CSL 2009
  • ISBN:9783642040269
  • 出版社:Berlin ; New York : Springer, c2009.
  • 出版年:2009

Computer science logic : 19th international workshop, CSL 2005, 14th Annual Conference of the EACSL,

  • 作者:CSL 2005
  • ISBN:3540282319
  • 出版社:Berlin ; New York : Springer, c2005.
  • 出版年:2005

Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL,

  • 作者:CSL 2004
  • ISBN:3540230246
  • 出版社:Berlin ; New York : Springer, c2004.
  • 出版年:2003

Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL,

  • 作者:CSL 2010
  • ISBN:9783642152047
  • 出版社:Berlin ; New York : Springer, c2010.
  • 出版年:2010

Computer science logic : 9th international workshop, CSL ''95, Annual Conference of the EACSL, Paderb

  • 作者:Workshop on Computer Science Logic
  • ISBN:3540613773
  • 出版社:Berlin ; New York : Springer, c1996.
  • 出版年:1996