Extra Materials Archive

Book cover

Computer Science Logic

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

© 2005

Soft cover - Print (ISBN: 978-3-540-28231-0)

Electronic (ISBN: 978-3-540-31897-2)

View this book on SpringerLink

Extra Materials File 978-3-540-31897-2