TY  - BOOK
AU  - Büning,Hans Kleine
ED  - Workshop on Computer Science Logic
ED  - European Association for Computer Science Logic
TI  - Computer science logic: 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers 
SN  - 3540613773
AV  - QA76.9 L63 W67 1995
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Computer logic
KW  - Congresses
ER  -