Computer Science Logic
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Edición de la obra Computer Science Logic
| Autor | Jörg Flum, Mario Rodriguez-Artalejo |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540481683 |
| Número de Cutter | F646c |