Computer Science Logic electronic resource : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke

Författare
Workshop on Computer Science Logic
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat