Computer Science Logic electronic resource : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter

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