TY  - BOOK
AU  - Bauer,F.L.
ED  - NATO Advanced Study Institute on Logic, Algebra, and Computation (1989 : Marktoberdorf, Germany)
TI  - Logic, algebra, and computation: International Summer School 
SN  - 3540543155
PY  - 1991///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
KW  - Congresses
KW  - Algebra
KW  - Computational complexity
ER  -