Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /

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

• Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
  по: Georg Gottlob, Etienne Grandjean, Katrin Seyr
  Опубликовано: (1999, c1999)
• Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
  по: Peter G. Clote, Helmut Schwichtenberg
  Опубликовано: (2000, c2000)
• Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /
  по: Anuj Dawar, Ruy Queiroz
  Опубликовано: (2010, c2010)
• Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
  по: Luke Ong
  Опубликовано: (2005, c2005)
• 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)