CSL '87
1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Lecture Notes in Computer Science)
Edición de la obra CSL '87
| Autor | Egon Börger, Hans Kleine Büning, Michael M. Richter |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 17, 1988 |
| Idioma | inglés |
| Páginas | 346 |
| Formato | Paperback |
| ISBN-13 | 9783540502418 |
| ISBN-10 | 3540502416 |
| Número de Cutter |