Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Documenti analoghi

• Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
  di: Peter G. Clote, Helmut Schwichtenberg
  Pubblicazione: (2000, c2000)
• Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
  di: Julian Bradfield
  Pubblicazione: (2002, c2002)
• Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /
  di: Anuj Dawar, Helmut Veith
  Pubblicazione: (2010, c2010)
• Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /
  di: Michael Kaminski, Simone Martini
  Pubblicazione: (2008, c2008)
• Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
  di: Jörg Flum, Mario Rodriguez-Artalejo
  Pubblicazione: (1999, c1999)