Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... Notes in Computer Science (1258), Band 1258)

von: Marc Bezem · Dirk van Dalen Taschenbuch Details (Deutschland) ISBN: 978-3-540-63172-9 ISBN-10: 3-540-63172-0 Springer · 2008