Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /

Схожие документы

• Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
  по: Julian Bradfield
  Опубликовано: (2002, c2002)
• Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
  по: Mogens Nielsen, Wolfgang Thomas
  Опубликовано: (1998, c1998)
• Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /
  по: Dirk Dalen, Marc Bezem
  Опубликовано: (1997, c1997)
• Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings /
  по: Laurent Fribourg
  Опубликовано: (2001, c2001)
• Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /
  по: Zoltán Ésik
  Опубликовано: (2006, c2006)