Computer Science Logic

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings 1st Auflage verfasst von Matthias Baaz; ‎Johann M. Makowsky und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Computer Science Logic lauten 9783540452201, 3540452206 und die Druck-ISBNs lauten 9783540408017, 3540408010. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings 1st Auflage verfasst von Matthias Baaz; ‎Johann M. Makowsky und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Computer Science Logic lauten 9783540452201, 3540452206 und die Druck-ISBNs lauten 9783540408017, 3540408010. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.