TY  - BOOK
ED  - International Workshop LCC'94,(1994 : Indianapolis, USA)
ED  - International Workshop LCC'94 (Logic and Computational Complexity
TI  - Logic and computational complexity: selected papers
SN  - 3-540-60178-3
U1  - 4.0151 
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer mathematics
KW  - Mathematical logic
ER  -