CSL '89 - proceedings
- Författare
- Workshop on Computer Science Logic 1989) Kaiserslautern :
- (3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 1989 E. Börger ... (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska


Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer-Vlg | cop. 1990 | Tyskland, Berlin, New York | vi, 437 sidor. | |
Springer Berlin Heidelberg | 1990 | Utgivningsland okänt / Ej specificerat |