TY  - GEN
TI  - Proceedings fourth annual symposium on logic in computer science: June 5-8, 1989 asiloman Conference Center Pacific Grove, California
PY  - 1989///
CY  - Washington; Los Alamitos
PB  - IEEE Computer Society
N1  - Contine bibliografie si index
ER  -