Computer Science Logic - 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Författare
Luke. Ong
(Edited by Luke Ong.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2005 Tyskland, Berlin, Heidelberg 978-3-540-31897-2
Springer Berlin / Heidelberg Utgivningsland okänt / Ej specificerat v.: digital