Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, ... Notes in Computer Science (5213), Band 5213)

von: Michael Kaminski · Simone Martini Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-87530-7 ISBN-10: 3-540-87530-1 Springer · 2008