Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL : Fischbachau, Germany, August 21-26, 2000 : proceedings /

Saved in:
Bibliographic Details
Corporate Author: Workshop on Computer Science Logic Fischbachau, Německo) (Author)
Other Authors: Clote, Peter, 1951- (Editor), Schwichtenberg, Helmut, 1942- (Editor)
Format: Book
Published: Berlin : Springer, c2000
Series:Lecture notes in computer science ; 1862
For reservations/loans of the physical document, please log in.
Description Status Library Collection Call Number Notes Barcode
Faculty of Informatics K60.00 4200506023