Computer Science Logic
23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Edición de la obra Computer Science Logic
| Autor | Erich Grädel, Reinhard Kahle |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642040276 |
| Número de Cutter | G732c |