Computer Science Logic: 11th International Workshop, CSL'97 | Kaicus Deutschland

Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science, 1414, Band 1414)

53.49 EUR

Marke: Springer Berlin Heidelberg
ISBN: 3540645705
MPN: Illustrations