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