European Association for Computer Science Logic. Conference, Kurt Gödel Colloquium, 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. Springer.
Chicago Style (17th ed.) CitationEuropean Association for Computer Science Logic. Conference, Kurt Gödel Colloquium, Matthias Baaz, 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 (9th ed.) CitationEuropean Association for Computer Science Logic. Conference, et al. 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. Springer, 2003.