TY  - BOOK
AU  - Börger,E.
AU  - Kleine, Buning Hans
AU  - Richter, Michael M.
ED  - Workshop on Computer Science Logic
TI  - Csl'89: 3rd workshop on computer science logic, kaiserslautern, frg, october 2-6, 1989 
T2  - Lecture notes in computer science
SN  - 3540527532
AV  - QA76.9M35 W67 1989
PY  - 1990///
CY  - Berlin
PB  - Springer Verlag
KW  - Matemáticas computacionales
KW  - Congresos
KW  - Lógica simbólica y matemática
ER  -