Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /

Benzer Materyaller

• Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /
  Yazar:: Anuj Dawar, Helmut Veith
  Baskı/Yayın Bilgisi: (2010, c2010)
• Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
  Yazar:: Peter G. Clote, Helmut Schwichtenberg
  Baskı/Yayın Bilgisi: (2000, c2000)
• Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
  Yazar:: Mogens Nielsen, Wolfgang Thomas
  Baskı/Yayın Bilgisi: (1998, c1998)
• Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings /
  Yazar:: Jerzy Marcinkowski, Andrzej Tarlecki
  Baskı/Yayın Bilgisi: (2004, c2004)
• Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
  Yazar:: Julian Bradfield
  Baskı/Yayın Bilgisi: (2002, c2002)