Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science (1862), Band 1862)

International

von: Helmut Schwichtenberg · Peter G. Clote

Taschenbuch

ISBN: 978-3-540-67895-3

ISBN-10: 3-540-67895-6

Springer · 2008