Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings /

類似資料

• Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
  著者:: Jörg Flum, Mario Rodriguez-Artalejo
  出版事項: (1999, c1999)
• 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 : 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)
• Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
  著者:: Erich Grädel, Reinhard Kahle
  出版事項: (2009, c2009)