Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /

Ítems similars

• Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /
  per: Jacques Duparc, Thomas A. Henzinger
  Publicat: (2007, c2007)
• Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
  per: Julian Bradfield
  Publicat: (2002, c2002)
• Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
  per: Erich Grädel, Reinhard Kahle
  Publicat: (2009, c2009)
• Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /
  per: Dirk Dalen, Marc Bezem
  Publicat: (1997, c1997)
• Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
  per: Peter G. Clote, Helmut Schwichtenberg
  Publicat: (2000, c2000)