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

Computer Science Logic

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

herausgegeben von Luke Ong
Buchcover Computer Science Logic  | EAN 9783540318972 | ISBN 3-540-31897-6 | ISBN 978-3-540-31897-2

Computer Science Logic

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

herausgegeben von Luke Ong
Includes supplementary material: sn. pub/extras