TY  - BOOK
AU  - Pacholski, Leszek. Ed.
AU  - Tiuryn, Jerzy. Ed.
TI  - Computer Science Logic: 8th Workshop, Poland, 1994
SN  - 3540600175
CY  - Berlin
KW  - Computer Science-Congresses
KW  - Logic, Symbolic and Mathematical-Congresses
ER  -