Computer Science Logic : 11th International Workshop, CSL '97 : Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers /

Saved in:
Bibliographic Details
Corporate Author: Workshop on Computer Science Logic Aarhus, Dánsko) (Author)
Other Authors: Nielsen, Mogens, 1949- (Editor), Thomas, Wolfgang, 1947- (Editor)
Format: Book
Published: Berlin : Springer, c1997
Series:Lecture notes in computer science ; 1414
For reservations/loans of the physical document, please log in.
Description Status Library Collection Call Number Notes Barcode
Faculty of Informatics K60.97 4200504506