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 版 著者: Matthias Baaz; ‎Johann M. Makowsky 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Computer Science Logic : 9783540452201, 3540452206 および 印刷版のISBNは 9783540408017, 3540408010. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

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 版 著者: Matthias Baaz; ‎Johann M. Makowsky 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Computer Science Logic : 9783540452201, 3540452206 および 印刷版のISBNは 9783540408017, 3540408010. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。