Computer Science Logic electronic resource : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers / edited by Dirk van Dalen, Marc Bezem
- Författare
- Netherlands) 1996 : (10th Workshop on Computer Science Logic Utrecht
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat |