"Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers"

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