Acronyms von A bis Z
LNCS960
-D. Leivant (Ed.): Logic and Computational Complexity. Proceedings 1994, Springer-Verlag 1995
-D. Leivant (Ed.): Logic and Computational Complexity. Proceedings 1994, Springer-Verlag 1995