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)
von:
Helmut Schwichtenberg
· Peter G. Clote
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-67895-3
ISBN-10: 3-540-67895-6
Springer
· 2008