Acronyms von A bis Z
LNCS698
-A. Voronkov (Ed.): Logic Programming and Automated Reasoning, Springer-Verlag Proceedings 1993
-A. Voronkov (Ed.): Logic Programming and Automated Reasoning, Springer-Verlag Proceedings 1993