Computer science logic - 10th international workshop, CSL '96 : Annual Conference of the EACSL, Utrech, The Netherlands, September 21-27, 1996 : selected papers
- Författare
- International Workshop on Computer Science Logic 1996) Utrecht :
- (Dirk van Dalen, Marc Bezem (Eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | 471 sidor. ill. | |
| Springer Berlin Heidelberg | 1997 | Utgivningsland okänt / Ej specificerat | ||
| Springer Berlin Heidelberg, Imprint: Springer | 1997 | Tyskland, Berlin, Heidelberg | 1 online resource (IX, 479 sidor.) |