TY  - BOOK
AU  - Clote,Peter G.
AU  - Schwichtenberg
ED  - Workshop on Computer Science Logic
TI  - Computer science logic: 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, august 2000 : proceedings 
T2  - Lecture notes in computer science,
SN  - 3540678956
AV  - QA75.5 W67 2000
PY  - 2000///
CY  - Berlin
PB  - Springer Verlag
KW  - Lógica computacional
KW  - Congresos
ER  -