Computer Science Logic electronic resource : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld

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