Computer science logic : 8th workshop CSL ''94 Kazimierz Poland September 25-30 1994 : selected

出版社:Berlin : Springer-Verlag, 1995.
ISBN:3540600175
出版年:1995
作者:Workshop on Computer Science Logic
资源类型:图书
细分类型:西文文献
相关推荐

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 : 6th Workshop, CSL ''92, San Miniato, Italy, September 28-October 2, 1992 : s

  • 作者:Brger,E.
  • ISBN:3540569928
  • 出版社:Berlin ; New York : Springer-Verlag, 1993.
  • 出版年:1993

Computer science logic : 7th workshop, CSL ''93, Swansea, United Kingdom, September 13-17, 1993 : sel

  • 作者:Brger,Egon
  • ISBN:3540582770
  • 出版社:Berlin ; New York : Springer-Verlag, 1994.
  • 出版年:1994

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 : 24th international workshop, CSL 2010, 19th annual conference of the EACSL,

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

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

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