Baaz, M., & Makowsky, J. A. (2003). Computer science logic: 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings. Berlin: Springer.
Chicago Style CitationBaaz, Matthias., and Johann A. Makowsky. Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : Proceedings. Berlin: Springer, 2003.
MLA CitationBaaz, Matthias., and Johann A. Makowsky. Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : Proceedings. Berlin: Springer, 2003.