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

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

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 : 13th international workshop, CSL ''99, 8th annual conference of the EACSL, M

  • 作者:CSL ''99.
  • ISBN:3540665366
  • 出版社:Berlin ; London : Springer, c1999.
  • 出版年:1999

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 : 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

Computer science logic : 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL,

  • 作者:CSL 2006
  • ISBN:3540454586
  • 出版社:Berlin ; New York : Springer, 2006.
  • 出版年:2006