Computer Science Logic: 9th International Workshop, CSL'95 Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995 Selected Papers ... Notes in Computer Science (1092), Band 1092)
von
Hans Kleine Büning
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-61377-0
ISBN-10: 3-540-61377-3
Springer
· 2009
