Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /

Lignende værker

• Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /
  af: Anuj Dawar, Helmut Veith
  Udgivet: (2010)
• Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
  af: Luke Ong
  Udgivet: (2005)
• Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /
  af: Jacques Duparc, Thomas A. Henzinger
  Udgivet: (2007)
• Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
  af: Georg Gottlob, Etienne Grandjean, Katrin Seyr
  Udgivet: (1999)
• Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
  af: Julian Bradfield
  Udgivet: (2002)