TY  - BOOK
AU  - Pacholski,Leszek
AU  - Tiuryn,Jerzy
ED  - Workshop on Computer Science Logic
TI  - Computer science logic: 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers 
SN  - 3540600175
AV  - QA76.9 M35 W67 1994
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer science
KW  - Mathematics
KW  - Congresses
KW  - Logic, Symbolic and mathematical
ER  -